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

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:

The mean means nothing: data visualization to debug a latency problem
1 points | 0 comments
Query cycles: a Rust compiler murder mystery
4 points | 0 comments
Issetugid() Sadness
2 points | 0 comments
The Myth of the 'Waterfall' SDLC
2 points | 0 comments
0 points | 0 comments
ALP: Adaptive lossless floating-point compression
4 points | 0 comments
Fast Synthesis of Basic Oscillators
2 points | 0 comments
SIMD within a bignum in pure Python
2 points | 0 comments
Unicode variation selector 15 and text vs. emoji presentation styles
2 points | 0 comments
Are emoji allowed in XMPP addresses?
2 points | 0 comments
Hardening Rust Code for Production
2 points | 0 comments
Rewriting the Futhark Type Checker
7 points | 1 comments
Tech ain't that deep – and that's a problem
1 points | 0 comments
Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code [pdf]
2 points | 0 comments
Qalculate Time Hacks
1 points | 0 comments
Qalculate Hacks
2 points | 0 comments
Inkwell: It's a New Kind of Wrapper for Exposing LLVM in Safe Rust
1 points | 0 comments
An overview of language features and implementation tasks that contribute toward
2 points | 0 comments
Native Inotify in FreeBSD
3 points | 1 comments
6× faster batched binary search in Rust
2 points | 1 comments
Reaction: A daemon that scans program outputs for repeated patterns, and takes a
4 points | 0 comments
Digital show and tell: how digital audio signals behave in the real world
2 points | 0 comments
Mechanized type inference for record concatenation as in Nix
3 points | 0 comments
Rust service isn't leaking: when do glibc / jemalloc / mimalloc call munmap
2 points | 0 comments
In-place functional programming with Koka
1 points | 0 comments
CO2 helps viruses stay alive longer in the air
3 points | 0 comments
Ditching Vagrant: VMs with KVM and Virsh on Debian
101 points | 45 comments
A floating point option shield to check for sensible C compiler configurations
2 points | 0 comments
Proving the fundamental theorem of arithmetic in Agda
2 points | 0 comments