hasheddan's submissions

1.		Verifying a Caliptra Boot-FSM Bug with Mununu (marianocerrutti.substack.com)
		1 point by hasheddan 3 days ago \| past \| discuss
2.		PSA Crypto: The P is for Portability (danielmangum.com)
		2 points by hasheddan 4 days ago \| past \| discuss
3.		A blueprint for formal verification of Apple corecrypto (security.apple.com)
		120 points by hasheddan 5 days ago \| past \| 15 comments
4.		K3_AI: Run command on SpacemiT K3's AI cores (github.com/brucehoult)
		2 points by hasheddan 7 days ago \| past \| discuss
5.		AMD Drops Linux Support in Vivado Free Tier (amd.com)
		6 points by hasheddan 8 days ago \| past \| 1 comment
6.		GoDaddy Agent Naming Service (ANS) (godaddy.com)
		3 points by hasheddan 9 days ago \| past \| discuss
7.		RISC-V and Floating-Point (fprox.substack.com)
		68 points by hasheddan 9 days ago \| past \| 50 comments
8.		Rust Async and the Arm Generic Timer (thejpster.org.uk)
		2 points by hasheddan 10 days ago \| past \| discuss
9.		Finding the Time on AArch32 (thejpster.org.uk)
		1 point by hasheddan 10 days ago \| past \| discuss
10.		AI's Supply Crunch Is Here (economist.com)
		2 points by hasheddan 24 days ago \| past
11.		How AI Will Reshape Computer Systems by 2035 (cra.org)
		2 points by hasheddan 30 days ago \| past
12.		Sabastian Sawe Shatters the 2-Hour Barrier at 2026 London Marathon (letsrun.com)
		3 points by hasheddan 31 days ago \| past
13.		I Am Building a Cloud (crawshaw.io)
		4 points by hasheddan 35 days ago \| past \| 2 comments
14.		Esp-Claw: Chat Coding Edge AI Agent Framework for IoT (esp-claw.com)
		1 point by hasheddan 35 days ago \| past \| 1 comment
15.		PSA Crypto: The P is for Portability (danielmangum.com)
		1 point by hasheddan 36 days ago \| past
16.		The Taxonomy of Hardware Security Mechanisms (danielmangum.com)
		2 points by hasheddan 36 days ago \| past
17.		The Speed Tax (mahdiyusuf.com)
		3 points by hasheddan 36 days ago \| past
18.		Tim Cook's Impeccable Timing (stratechery.com)
		350 points by hasheddan 36 days ago \| past \| 416 comments
19.		Quantum Computers Are Not a Threat to 128-Bit Symmetric Keys (filippo.io)
		307 points by hasheddan 37 days ago \| past \| 109 comments
20.		Floating Point Fun on Cortex-M Processors (danielmangum.com)
		2 points by hasheddan 39 days ago \| past
21.		Floating Point Fun on Cortex-M Processors (danielmangum.com)
		60 points by hasheddan 40 days ago \| past \| 6 comments
22.		PSA Crypto: The P is for Portability (danielmangum.com)
		2 points by hasheddan 43 days ago \| past
23.		PSA Crypto: The P is for Portability (danielmangum.com)
		1 point by hasheddan 44 days ago \| past
24.		PSA Crypto: The P is for Portability (danielmangum.com)
		1 point by hasheddan 45 days ago \| past
25.		PSA Crypto: The P is for Portability (danielmangum.com)
		2 points by hasheddan 46 days ago \| past
26.		Q1 2026 Rustls Performance Update (memorysafety.org)
		2 points by hasheddan 47 days ago \| past
27.		PSA Crypto: The P is for Portability (danielmangum.com)
		1 point by hasheddan 47 days ago \| past
28.		WallaBMC: Lightweight BMC for STM32 and similar class MCUs (github.com/tenstorrent)
		2 points by hasheddan 48 days ago \| past
29.		Tailslayer: Library for reducing tail latency in RAM reads (github.com/lauriewired)
		113 points by hasheddan 50 days ago \| past \| 23 comments
30.		Fooling Go's X.509 Certificate Verification (danielmangum.com)
		1 point by hasheddan 51 days ago \| past
		More