fanf2's submissions | Hacker News

1.		Safe made easy: single ownership is (not) optional (ergeysay.me)
		1 point by fanf2 1 day ago \| past \| discuss
2.		Debris with telemetry: cybersecurity and Kessler syndrome (thespacereview.com)
		2 points by fanf2 1 day ago \| past \| discuss
3.		Floating-point error handling in C++: what works? (johnnysswlab.com)
		3 points by fanf2 2 days ago \| past \| discuss
4.		The design principles of the Elixir type system (arxiv.org)
		4 points by fanf2 2 days ago \| past \| discuss
5.		A post-quantum future for Let's Encrypt (letsencrypt.org)
		1 point by fanf2 2 days ago \| past \| 1 comment
6.		"Sum Ergo Demonstro" RP2350 Demo Explained (linusakesson.net)
		2 points by fanf2 3 days ago \| past \| 1 comment
7.		A structure-aware fuzzing experiment in Rust (fitzgen.com)
		2 points by fanf2 4 days ago \| past \| discuss
8.		Willis Lamm's traffic light collection (kbrhorse.net)
		4 points by fanf2 5 days ago \| past \| discuss
9.		Lunacy: A Lua JIT Written in Rust (redvice.org)
		16 points by fanf2 7 days ago \| past \| discuss
10.		Yocto vs. Debian for building embedded Linux systems (sigma-star.at)
		3 points by fanf2 7 days ago \| past \| discuss
11.		Erasing Existential Types in Rust (wolfgirl.dev)
		3 points by fanf2 8 days ago \| past \| discuss
12.		The origin of quorum systems in distributed computing [pdf] (vukolic.com)
		3 points by fanf2 8 days ago \| past \| 1 comment
13.		The geometry of superior athletic performance (nickmark.substack.com)
		3 points by fanf2 8 days ago \| past \| discuss
14.		Acme CAA extensions to become mandatory (feistyduck.com)
		3 points by fanf2 8 days ago \| past \| discuss
15.		Using GCC's nested functions with wide pointers and no trampolines (codeberg.page)
		1 point by fanf2 8 days ago \| past \| discuss
16.		Creusot helps you prove your Rust code is correct (github.com/creusot-rs)
		66 points by fanf2 9 days ago \| past \| 9 comments
17.		Deciphering a business card raytracer. (2013) (fabiensanglard.net)
		2 points by fanf2 9 days ago \| past \| discuss
18.		Verilog: Back to the building blocks' building blocks (cornell.edu)
		1 point by fanf2 10 days ago \| past \| discuss
19.		Mvm: A fast bytecode interpreter for Golang (mvm.sh)
		2 points by fanf2 10 days ago \| past \| discuss
20.		From AFSK to Goertzel: demodulating packet radio (uart.cz)
		1 point by fanf2 11 days ago \| past \| discuss
21.		Antcc: A Little C Compiler (codeberg.org/lsof)
		3 points by fanf2 11 days ago \| past \| discuss
22.		Kefir: A C17/C23 Compiler (sr.ht)
		3 points by fanf2 11 days ago \| past \| discuss
23.		Scoped Error in Rust (kanru.info)
		3 points by fanf2 11 days ago \| past \| discuss
24.		Slimcc: C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD, written in C9 (github.com/fuhsnn)
		11 points by fanf2 12 days ago \| past \| discuss
25.		Spy: language semantics for a statically-typed compiled variant of Python (antocuni.eu)
		1 point by fanf2 13 days ago \| past \| discuss
26.		The fourth independent assessment of UK climate risk (theccc.org.uk)
		1 point by fanf2 13 days ago \| past \| 1 comment
27.		Jira Is Turing Complete (seriot.ch)
		13 points by fanf2 13 days ago \| past \| discuss
28.		The Meaning of Doing Mathematics (arxiv.org)
		4 points by fanf2 13 days ago \| past \| discuss
29.		A new suite of modern tools for editing and publishing IETF RFCs (ietf.org)
		9 points by fanf2 14 days ago \| past
30.		AI companies use malware proxies to mount DDoS attacks on web sites (packetstream.io)
		3 points by fanf2 14 days ago \| past
		More