Hacker News headlines

1

Type Safety Back and Forth (2017) (parsonsmatt.org)

a month ago | fanf2 | parsonsmatt.org | newest

1

A Collective of Nouns (branemrys.blogspot.com)

a month ago | fanf2 | blogspot.com | newest

1

Responsive TOC leader lines with CSS (markentier.tech)

a month ago | fanf2 | markentier.tech | newest

1

The beigeness, or how to kill people with bad writing: the Scott Alexander metho (2021) (eruditorumpress.com)

a month ago | fanf2 | eruditorumpress.com | newest

1

Caches, Modes, and Unstable Systems (brooker.co.za)

a month ago | fanf2 | brooker.co.za | newest

1

Pg_auto_failover: PostgreSQL extension and service for automated failover and hi (github.com/hapostgres)

a month ago | fanf2 | github.com | newest

1

Eradicating Trivial Vulnerabilities, at Scale (ncsc.gov.uk)

a month ago | fanf2 | ncsc.gov.uk | newest

4

Enabling Touch ID for sudo on macOS, before and after Sonoma (2023) (adriankwiatkowski.eu)

a month ago | fanf2 | adriankwiatkowski.eu | newest

4

Socrates is a state machine: sans IO with async Rust (sminez.dev)

a month ago | fanf2 | sminez.dev | frontpage

2

Ghosts of departed proofs. (functional pearl) (2018) (iohk.io)

a month ago | fanf2 | iohk.io | newest

1

Dnsclay: DNS UPDATE/AXFR/NOTIFY to many custom DNS operator APIs gateway (ueber.net)

a month ago | fanf2 | ueber.net | newest

1

Implementing virtual system calls with vDSO (lwn.net)

a month ago | fanf2 | lwn.net | newest

1

What color is your markup? (t-ravis.com)

a month ago | fanf2 | t-ravis.com | newest

3

At 34 for v5.34: Modern Perl features for Perl's birthday (phoenixtrap.com)

a month ago | fanf2 | phoenixtrap.com | frontpage

2

Rewrite it in Rust: a computational physics case study (arxiv.org)

a month ago | fanf2 | arxiv.org | newest

1

Hash function design, SMHasher and Goodhart's Law (cessen.com)

a month ago | fanf2 | cessen.com | newest

3

Post Office Trial: Marshall spells it out in a speech to University of Law (postofficetrial.com)

a month ago | fanf2 | postofficetrial.com | frontpage

1

I have come to bury the BIOS, not to open it: The need for holistic systems (osfc.io)

a month ago | fanf2 | osfc.io | newest

1

A fast revese linear scan register allocator for Cranelift (d-sonuga.netlify.app)

a month ago | fanf2 | netlify.app | newest

1

Normalcy bias: it's not cool to overreact (okdoomer.io)

a month ago | fanf2 | okdoomer.io | newest

7

CouchDB Prevents Data Corruption: Fsync (neighbourhood.ie)

a month ago | fanf2 | neighbourhood.ie | frontpage

1

A multithread concurrency cost hierarchy (travisdowns.github.io)

a month ago | fanf2 | github.io | newest

2

Bitsquatting Windows.com (remyhax.xyz)

a month ago | fanf2 | remyhax.xyz | newest

1

Program logics à la carte (acm.org)

a month ago | fanf2 | acm.org | newest

1

Move constructors in Rust: is it possible? (mcyoung.xyz)

a month ago | fanf2 | mcyoung.xyz | newest

1

Leaving the basement: scaling up Mastodon at Hachyderm (2022) (hachyderm.io)

a month ago | fanf2 | hachyderm.io | newest

2

Profiling in production with function call traces (yosefk.com)

a month ago | fanf2 | yosefk.com | newest

2

The CVM cardinality estimation algorithm (buttondown.com/jaffray)

a month ago | fanf2 | buttondown.com | newest

9

ZeroVer: 0-Based Versioning (0ver.org)

a month ago | fanf2 | 0ver.org | frontpage

1

Far too many ways to wait on a child process with a timeout (gaultier.github.io)

a month ago | fanf2 | github.io | newest

1

Gorton Recreations (aresluna.org)

a month ago | fanf2 | aresluna.org | newest

1

Formal mechanised semantics of CHERI C: capabilities, undefined behaviour, and p (acm.org)

a month ago | fanf2 | acm.org | newest

1

Kurt Vonnegut's chess-like game GHQ (spacebiff.com)

a month ago | fanf2 | spacebiff.com | newest

1

Advanced TypeScript Types (2021) (tableau.com)

a month ago | fanf2 | tableau.com | newest

1

The network is reliable? An informal survey of real-world communications failure (acm.org)

a month ago | fanf2 | acm.org | newest

1

For want of a relative path to ld.so (corsix.org)

a month ago | fanf2 | corsix.org | newest

2

A security analysis of STARTTLS in email protocols (secvuln.info)

a month ago | fanf2 | secvuln.info | newest

4

SSH Agent Restriction (openssh.com)

a month ago | fanf2 | openssh.com | newest

2

Writing to the macOS clipboard the hard way (nathancraddock.com)

a month ago | fanf2 | nathancraddock.com | newest

3

Get a random selection of lines in a file using reservoir sampling in Rust (alexwlchan.net)

a month ago | fanf2 | alexwlchan.net | newest

1

Sealed Capability Types for CHERIoT (cheriot.org)

a month ago | fanf2 | cheriot.org | newest

2

A practical comparison of build and test speed between C++ and Rust (quick-lint-js.com)

a month ago | fanf2 | quick-lint-js.com | newest

1

Algol 68: A Retrospective (accu.org)

a month ago | fanf2 | accu.org | newest

2

The solid-state register allocator (mattkeeter.com)

a month ago | fanf2 | mattkeeter.com | newest

1

Conway's law: how do committees invent? (melconway.com)

a month ago | fanf2 | melconway.com | newest

1

IPCC-downloader: download iOS cellular carrier profiles (github.com/mrlnc)

a month ago | fanf2 | github.com | newest

1

Small-data computing: Hans-J Boehm's correct calculator arithmetic (acm.org)

a month ago | fanf2 | acm.org | newest

47

Are SSDs more reliable than hard drives? (2021) (backblaze.com)

a month ago | fanf2 | backblaze.com | frontpage

22

London Transport 25: ride 25 different forms of transport in one day (girlonthenet.com)

a month ago | fanf2 | girlonthenet.com | frontpage

2

Implementing async APIs for microcontroller peripherals in Rust (beaurivage.io)

a month ago | fanf2 | beaurivage.io | newest

1

Vale: A markup-aware linter for prose (github.com/errata-ai)

a month ago | fanf2 | github.com | newest

1

The secret court case 50 years ago that robbed transgender people of their right (inews.co.uk)

a month ago | fanf2 | inews.co.uk | newest

1

A caveat with statically linked language runtimes (thinkingeek.com)

a month ago | fanf2 | thinkingeek.com | newest

4

LSP could have been better (matklad.github.io)

a month ago | fanf2 | github.io | newest

2

Fenwick Trees Are Awesome (unnamed.website)

a month ago | fanf2 | unnamed.website | newest

1

Silent CT: a quiet certificate transparency monitor (glasklar.is)

a month ago | fanf2 | glasklar.is | newest

1

Discovering features using HTTP OPTIONS (evertpot.com)

a month ago | fanf2 | evertpot.com | newest

3

Scuttlebutt Protocol Guide (ssbc.github.io)

a month ago | fanf2 | github.io | newest

135

I helped fix sleep-wake hangs on Linux with AMD GPUs (nyanpasu64.gitlab.io)

a month ago | fanf2 | gitlab.io | best

2

What to do about SQLite_BUSY errors despite setting a timeout (berthub.eu)

a month ago | fanf2 | berthub.eu | newest

2

Arithmetic with Continued Fractions (plover.com)

a month ago | fanf2 | plover.com | newest

1

Unexpected uses of the GF2P8AFFINEQB bit matrix multiply instruction (gist.github.com)

a month ago | fanf2 | github.com | newest

1

Inappbrowser.com: see what JavaScript commands get injected (krausefx.com)

a month ago | fanf2 | krausefx.com | newest

2

Losing the World Record in Hatetris (hallofdreams.org)

a month ago | fanf2 | hallofdreams.org | newest

2

Taichi: High-Performance Parallel Programming in Python (taichi-lang.org)

a month ago | fanf2 | taichi-lang.org | frontpage

2

Post-Mortem – Network Outage Affecting Openstreetmap.org – 15 December 2024 (osmfoundation.org)

a month ago | fanf2 | osmfoundation.org | newest

4

A record type representation trick for Scheme (weinholt.se)

a month ago | fanf2 | weinholt.se | newest

36

Mathics: A free, open-source alternative to Mathematica (mathics.org)

a month ago | fanf2 | mathics.org | frontpage

1

An approach to generate correctly rounded math libraries for new floating point (acm.org)

a month ago | fanf2 | acm.org | newest

1

Interval-Based Memory Reclamation (semanticscholar.org)

a month ago | fanf2 | semanticscholar.org | newest

2

Random numbers from pcg32 at 200 Gbit/s (dotat.at)

a month ago | fanf2 | dotat.at | newest

1

Interesting Data Sets for Statistics (rs.io)

a month ago | fanf2 | rs.io | newest

1

An open-source Wi-Fi Mac layer for the ESP32 (esp32-open-mac.be)

a month ago | fanf2 | esp32-open-mac.be | newest

3

Predef: A wiki of pre-defined C compiler macros (github.com/cpredef)

a month ago | fanf2 | github.com | newest

2

A practical unification of multi-stage programming and macros [pdf] (biboudis.github.io)

a month ago | fanf2 | github.io | newest

1

BetterBufRead: Faster Reads in Rust (graphallthethings.com)

a month ago | fanf2 | graphallthethings.com | newest

1

Mutation XSS explained, with a CVE and a challenge (jorianwoltjer.com)

a month ago | fanf2 | jorianwoltjer.com | newest

1

Nreversal of fortune: the thermodynamics of garbage collection (plover.com)

a month ago | fanf2 | plover.com | newest

1

That's FAR-out, man: a kernel infoleak in Mac OS XNU (2023) (dfsec.com)

a month ago | fanf2 | dfsec.com | newest

1

Blip: A tool for seeing your Internet latency (github.com/apenwarr)

a month ago | fanf2 | github.com | newest

1

Subclassing in Python, Redux (hynek.me)

a month ago | fanf2 | hynek.me | newest

3

Interview with Donald Knuth, with his opinions on multicore CPUs (informit.com)

a month ago | fanf2 | informit.com | newest

1

Back to the future: the story of Squeak, a practical Smalltalk written in itself [pdf] (vpri.org)

a month ago | fanf2 | vpri.org | newest

2

Rink: An open source unit-aware calculator (rinkcalc.app)

a month ago | fanf2 | rinkcalc.app | newest

1

Adding garbage collection to our Rust-based interpreters with MMTk (octavelarose.github.io)

a month ago | fanf2 | github.io | newest

2

Knepp Rewilded (youtube.com)

a month ago | fanf2 | youtube.com | newest

2

Fixing the TPM: hardware security modules done right (2023) (loup-vaillant.fr)

a month ago | fanf2 | loup-vaillant.fr | newest

1

The double MMAP() magic ring buffer (2012) (fgiesen.wordpress.com)

a month ago | fanf2 | wordpress.com | newest

1

Numbat: A typed language with support for physical dimensions and units (github.com/sharkdp)

a month ago | fanf2 | github.com | newest

1

Free Join: unifying worst-case optimal and traditional joins (2023) (arxiv.org)

a month ago | fanf2 | arxiv.org | newest

1

DNS at IETF 110 (potaroo.net)

a month ago | fanf2 | potaroo.net | newest

2

Understanding DNS in Kubernetes (povilasv.me)

a month ago | fanf2 | povilasv.me | newest

1

Enumerating and analyzing 40 non-V8 JavaScript implementations (eatonphil.com)

a month ago | fanf2 | eatonphil.com | newest

1

Starlink's high-speed satellite Internet: What's the catch? (apnic.net)

a month ago | fanf2 | apnic.net | newest

2

The Austral programming language. (linear types and capability security) (austral-lang.org)

a month ago | fanf2 | austral-lang.org | newest

2

An interview with James H Wilkinson: early numerical methods with electronic com [pdf] (siam.org)

a month ago | fanf2 | siam.org | newest

1

The BNF Converter (digitalgrammars.com)

a month ago | fanf2 | digitalgrammars.com | newest

1

OPK, Open Programmatic Keycap: a CadQuery model for spherical top keycaps (github.com/cubiq)

a month ago | fanf2 | github.com | newest

2

Benchmarking symmetric encryption (AEAD) in Rust (kerkour.com)

2 months ago | fanf2 | kerkour.com | newest

1

Full-stack sum types with TypeScript, Rust, and PostgreSQL (vincepergolizzi.com)

2 months ago | fanf2 | vincepergolizzi.com | newest