hasheddan on Hacker News

1

Verifying a Caliptra Boot-FSM Bug with Mununu (opens in new tab)

(marianocerrutti.substack.com)

1hasheddan19h ago0

2

PSA Crypto: The P is for Portability (opens in new tab)

(danielmangum.com)

2hasheddan2d ago0

3

A blueprint for formal verification of Apple corecrypto (opens in new tab)

(security.apple.com)

120hasheddan3d ago15

4

K3_AI: Run command on SpacemiT K3's AI cores (opens in new tab)

(github.com)

2hasheddan4d ago0

5

AMD Drops Linux Support in Vivado Free Tier (opens in new tab)

(amd.com)

6hasheddan6d ago1

6

GoDaddy Agent Naming Service (ANS) (opens in new tab)

(godaddy.com)

3hasheddan7d ago0

7

RISC-V and Floating-Point (opens in new tab)

(fprox.substack.com)

68hasheddan7d ago50

8

Rust Async and the Arm Generic Timer (opens in new tab)

(thejpster.org.uk)

2hasheddan7d ago0

9

Finding the Time on AArch32 (opens in new tab)

(thejpster.org.uk)

1hasheddan7d ago0

10

AI's Supply Crunch Is Here (opens in new tab)

(economist.com)

2hasheddan22d ago0

11

How AI Will Reshape Computer Systems by 2035 (opens in new tab)

(cra.org)

2hasheddan27d ago0

12

Sabastian Sawe Shatters the 2-Hour Barrier at 2026 London Marathon (opens in new tab)

(letsrun.com)

3hasheddan29d ago0

13

I Am Building a Cloud (opens in new tab)

(crawshaw.io)

4hasheddan1mo ago2

14

Esp-Claw: Chat Coding Edge AI Agent Framework for IoT (opens in new tab)

(esp-claw.com)

1hasheddan1mo ago1

15

PSA Crypto: The P is for Portability (opens in new tab)

(danielmangum.com)

1hasheddan1mo ago0

hasheddan

Recent submissions

Verifying a Caliptra Boot-FSM Bug with Mununu (opens in new tab)

PSA Crypto: The P is for Portability (opens in new tab)

A blueprint for formal verification of Apple corecrypto (opens in new tab)

K3_AI: Run command on SpacemiT K3's AI cores (opens in new tab)

AMD Drops Linux Support in Vivado Free Tier (opens in new tab)

GoDaddy Agent Naming Service (ANS) (opens in new tab)

RISC-V and Floating-Point (opens in new tab)

Rust Async and the Arm Generic Timer (opens in new tab)

Finding the Time on AArch32 (opens in new tab)

AI's Supply Crunch Is Here (opens in new tab)

How AI Will Reshape Computer Systems by 2035 (opens in new tab)

Sabastian Sawe Shatters the 2-Hour Barrier at 2026 London Marathon (opens in new tab)

I Am Building a Cloud (opens in new tab)

Esp-Claw: Chat Coding Edge AI Agent Framework for IoT (opens in new tab)

PSA Crypto: The P is for Portability (opens in new tab)

Recent submissions

Verifying a Caliptra Boot-FSM Bug with Mununu (opens in new tab)

PSA Crypto: The P is for Portability (opens in new tab)

A blueprint for formal verification of Apple corecrypto (opens in new tab)

K3_AI: Run command on SpacemiT K3's AI cores (opens in new tab)

AMD Drops Linux Support in Vivado Free Tier (opens in new tab)

GoDaddy Agent Naming Service (ANS) (opens in new tab)

RISC-V and Floating-Point (opens in new tab)

Rust Async and the Arm Generic Timer (opens in new tab)

Finding the Time on AArch32 (opens in new tab)

AI's Supply Crunch Is Here (opens in new tab)

How AI Will Reshape Computer Systems by 2035 (opens in new tab)

Sabastian Sawe Shatters the 2-Hour Barrier at 2026 London Marathon (opens in new tab)

I Am Building a Cloud (opens in new tab)

Esp-Claw: Chat Coding Edge AI Agent Framework for IoT (opens in new tab)

PSA Crypto: The P is for Portability (opens in new tab)