Hacker News new | ask | show | jobs
user: fanf2
created: 2010-08-09
karma: 44027

dot@dotat.at

https://dotat.at (home page)

https://dotat.at/@/ (blog)

https://dotat.at/:/ (links)

erstwhile fanf@isc.org hostmaster@cam.ac.uk postmaster@cam.ac.uk fanf@exim.org fanf@apache.org

submissions:

Learning a regular language by inferring a DFA with the TTT algorithm
5 points | 0 comments
Debootstrapping without archeology: stacked implementations in Camlboot
2 points | 0 comments
Tars: Tiny automatic recycling system, a prototype desktop injection moulding ma
8 points | 0 comments
Blocking an as (Or Similar) with CIDR-Aggregator
2 points | 0 comments
RNG: Flat Datacenter Networks at Amazon
2 points | 0 comments
Centrality in the DNS
3 points | 0 comments
0 points | 0 comments
Safe made easy: single ownership is (not) optional
1 points | 0 comments
Debris with telemetry: cybersecurity and Kessler syndrome
2 points | 0 comments
Floating-point error handling in C++: what works?
3 points | 0 comments
The design principles of the Elixir type system
4 points | 0 comments
A post-quantum future for Let's Encrypt
1 points | 1 comments
"Sum Ergo Demonstro" RP2350 Demo Explained
2 points | 1 comments
A structure-aware fuzzing experiment in Rust
2 points | 0 comments
Willis Lamm's traffic light collection
4 points | 0 comments
Lunacy: A Lua JIT Written in Rust
16 points | 0 comments
Yocto vs. Debian for building embedded Linux systems
3 points | 0 comments
Erasing Existential Types in Rust
3 points | 0 comments
The origin of quorum systems in distributed computing [pdf]
3 points | 1 comments
The geometry of superior athletic performance
3 points | 0 comments
Acme CAA extensions to become mandatory
3 points | 0 comments
Using GCC's nested functions with wide pointers and no trampolines
1 points | 0 comments
Creusot helps you prove your Rust code is correct
66 points | 9 comments
Deciphering a business card raytracer. (2013)
2 points | 0 comments
Verilog: Back to the building blocks' building blocks
1 points | 0 comments
Mvm: A fast bytecode interpreter for Golang
2 points | 0 comments
From AFSK to Goertzel: demodulating packet radio
1 points | 0 comments
Antcc: A Little C Compiler
3 points | 0 comments