Hacker News headlines

2

How to Sync Anything (neighbourhood.ie)

2 months ago | fanf2 | neighbourhood.ie | newest

3

Parametric subtyping for structural parametric polymorphism (sigplan.org)

2 months ago | fanf2 | sigplan.org | newest

2

DIY book lamp: simple electronics meets paper craft (voltpaperscissors.com)

2 months ago | fanf2 | voltpaperscissors.com | newest

2

A non-uniform quasirandom number generator for games (taylorpetrick.com)

2 months ago | fanf2 | taylorpetrick.com | newest

1

Let's Debug figures out why you can't issue a certificate with Let's Encrypt (letsdebug.net)

2 months ago | fanf2 | letsdebug.net | newest

1

Squiggle: A simple programming language for intuitive probabilistic estimation (squiggle-language.com)

2 months ago | fanf2 | squiggle-language.com | frontpage

2

XTerm Control Sequences [pdf] (invisible-island.net)

2 months ago | fanf2 | invisible-island.net | frontpage

1

Facet: Type reflection, serialization, deserialization – know the shape of you (github.com/facet-rs)

2 months ago | fanf2 | github.com | newest

3

Specifying WASM with SpecTec (github.com/wasm-dsl)

2 months ago | fanf2 | github.com | newest

1

Preventing outages with pkill's new –require-handler flag (chrisdown.name)

2 months ago | fanf2 | chrisdown.name | newest

1

Far-UVC: germicidal ultraviolet light can inactivate a wide range of pathogens w (blueprintbiosecurity.org)

2 months ago | fanf2 | blueprintbiosecurity.org | newest

4

Scaling the Let's Encrypt rate limits to prepare for a billion active TLS cert (letsencrypt.org)

2 months ago | fanf2 | letsencrypt.org | frontpage

1

Examples of MVC for the Web (github.com/madhadron)

2 months ago | fanf2 | github.com | newest

2

A continuation-passing evaluation semantics for classical proofs (cornell.edu)

2 months ago | fanf2 | cornell.edu | newest

1

Travertine: CVE-2025-24118 safe memory reclamation race in the XNU Mac OS kernel (jprx.io)

2 months ago | fanf2 | jprx.io | newest

1

Venera 8 Kosmos 482 descent craft reentry forecasts (sattrackcam.blogspot.com)

2 months ago | fanf2 | blogspot.com | newest

1

Modular Type Classes [pdf] (cmu.edu)

2 months ago | fanf2 | cmu.edu | newest

3

PubSub and RPC with dynamic types in Rust (jakobmeier.ch)

2 months ago | fanf2 | jakobmeier.ch | frontpage

1

Programming Mantras Are Proverbs (lukeplant.me.uk)

2 months ago | fanf2 | lukeplant.me.uk | newest

3

Existential Types in Rust (lwn.net)

2 months ago | fanf2 | lwn.net | frontpage

2

RP2040 DMA is Turing complete (cornell.edu)

2 months ago | fanf2 | cornell.edu | newest

7

Violating memory safety with Haskell's value restriction (welltypedwit.ch)

2 months ago | fanf2 | welltypedwit.ch | frontpage

2

From Haskell to a new structured combinator processor for graph reduction in har (hw.ac.uk)

2 months ago | fanf2 | hw.ac.uk | newest

2

It's the Latency, Stupid (stuartcheshire.org)

2 months ago | fanf2 | stuartcheshire.org | newest

1

Anatomy of a Thunk Leak in Haskell (ezyang.com)

2 months ago | fanf2 | ezyang.com | newest

3

A bestiary of mathematical functions for systems designers (brunodias.dev)

2 months ago | fanf2 | brunodias.dev | frontpage

1

Julia 1.6: what has changed since Julia 1.0? (oxinabox.net)

2 months ago | fanf2 | oxinabox.net | newest

5

The Ignorability of Attributes in C++ (brevzin.github.io)

2 months ago | fanf2 | github.io | frontpage

2

Cloaca: A concurrent hardware garbage collector for non-strict functional langua (acm.org)

2 months ago | fanf2 | acm.org | newest

2

A collection of quotes on the design of notation as a tool of thought (github.com/kai-qu)

2 months ago | fanf2 | github.com | newest

2

Programming in Martin-Lof's type theory: an introduction. (1990) (chalmers.se)

2 months ago | fanf2 | chalmers.se | newest

2

Encoding Hangeul, Koreas writing system (brookjeynes.dev)

2 months ago | fanf2 | brookjeynes.dev | frontpage

2

Optimal bounds for open addressed hash tables without reordering (arxiv.org)

2 months ago | fanf2 | arxiv.org | newest

1

SQL OFFSET is worse than keyset pagination (use-the-index-luke.com)

2 months ago | fanf2 | use-the-index-luke.com | frontpage

3

Efficient communication and garbage collection in Haskell with compact normal fo (ezyang.com)

2 months ago | fanf2 | ezyang.com | newest

3

YamlScriot: YAML Done Wisely (yamlscript.org)

2 months ago | fanf2 | yamlscript.org | newest

4

I think about C99 strict aliasing rules (alanwu.space)

2 months ago | fanf2 | alanwu.space | frontpage

3

HVM: Higher-order virtual machine, a parallel, optimal functional runtime (github.com/higherorderco)

2 months ago | fanf2 | github.com | newest

2

Setenv() isn't threadsafe and even safe Rust didn't save us (geldata.com)

2 months ago | fanf2 | geldata.com | frontpage

1

Factoring in gravitomagnetism could do away with dark matter (2021) (sciencedaily.com)

2 months ago | fanf2 | sciencedaily.com | newest

3

Verb: Emacs Org Mode HTTP client (github.com/federicotdn)

2 months ago | fanf2 | github.com | newest

1

Stacking lookup tables in a lexer generator (maciej.codes)

2 months ago | fanf2 | maciej.codes | newest

2

The .su ccTLD might be safe after all (domainincite.com)

2 months ago | fanf2 | domainincite.com | newest

1

Why is it hard to automatically suggest what index to create? (depesz.com)

2 months ago | fanf2 | depesz.com | newest

3

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

2 months ago | fanf2 | ncsc.gov.uk | newest

1

The `Satisfies` Operator in TypeScript (2ality.com)

2 months ago | fanf2 | 2ality.com | newest

1

When is "this trait can be implemented" part of the trait's public API? Sealed t (predr.ag)

2 months ago | fanf2 | predr.ag | newest

3

Compiler construction textbook by Niklaus Wirth (ethz.ch)

2 months ago | fanf2 | ethz.ch | newest

4

Memories: Edinburgh ML to Standard ML (lawrencecpaulson.github.io)

2 months ago | fanf2 | github.io | frontpage

1

Practical Unix manuals with mdoc: structure, style, and composition (bsd.lv)

2 months ago | fanf2 | bsd.lv | newest

1

Beating the fastest lexer generator in Rust (alic.dev)

2 months ago | fanf2 | alic.dev | frontpage

3

Ferranti punched tape codes, including Flexowriter. (1961) (chilton-computing.org.uk)

2 months ago | fanf2 | chilton-computing.org.uk | newest

1

Rethinking Errors, Warnings, and Lints (neugierig.org)

2 months ago | fanf2 | neugierig.org | newest

1

A short guide to the copyright wars (technollama.co.uk)

2 months ago | fanf2 | technollama.co.uk | newest

3

Fastgron: Make JSON greppable, super fast (github.com/adamritter)

2 months ago | fanf2 | github.com | frontpage

6

Sunlight: A certificate transparency implementation built for scalability, ease (letsencrypt.org)

2 months ago | fanf2 | letsencrypt.org | frontpage

1

The Combined Cipher Machine, 1942-1962 (chris-intel-corner.blogspot.com)

2 months ago | fanf2 | blogspot.com | newest

3

VIK: An FPC interface for connecting keyboard modules (github.com/sadekbaroudi)

2 months ago | fanf2 | github.com | newest

2

Browse-at-remote: browse remote code forges with Emacs (github.com/rmuslimov)

2 months ago | fanf2 | github.com | frontpage

1

A rough survey of compilation, recompilation, and compile-time evaluation (scattered-thoughts.net)

2 months ago | fanf2 | scattered-thoughts.net | newest

3

Which social media sites support which meta tags? (getoutofmyhead.dev)

2 months ago | fanf2 | getoutofmyhead.dev | newest

2

Directory entry says what? Current Gopher type field types (sunriseprogrammer.blogspot.com)

2 months ago | fanf2 | blogspot.com | newest

1

Designing type inference for high quality type errors (polybdenum.com)

2 months ago | fanf2 | polybdenum.com | newest

4

Hunting down a C memory leak in a Go program (2021) (medium.com/zendesk-engineering)

2 months ago | fanf2 | medium.com | frontpage

2

IAU Standards of Fundamental Astronomy (iausofa.org)

2 months ago | fanf2 | iausofa.org | newest

2

Why PostgreSQL major version upgrades are hard (eisentraut.org)

2 months ago | fanf2 | eisentraut.org | newest

2

Djot: A Light Markup Syntax (djot.net)

2 months ago | fanf2 | djot.net | frontpage

1

The one ring problem: abstraction and our quest for power (tedinski.com)

2 months ago | fanf2 | tedinski.com | newest

1

SpiNNaker: A million-core ARM machine. (2011) (manchester.ac.uk)

2 months ago | fanf2 | manchester.ac.uk | newest

1

Technical debt as theory building and practice (usenix.org)

2 months ago | fanf2 | usenix.org | newest

2

Polyfill-glibc: patch Linux executables for compatibility with older glibc (github.com/corsix)

2 months ago | fanf2 | github.com | newest

35

Pixels in Islamic Art: Square Kufic Calligraphy (2020) (uwithumlaut.wordpress.com)

2 months ago | fanf2 | wordpress.com | best

1

Can PostgreSQL use this index, please? (hdombrovskaya.wordpress.com)

2 months ago | fanf2 | wordpress.com | newest

2

Co-dfns: High-performance, reliable, and parallel APL (github.com/co-dfns)

2 months ago | fanf2 | github.com | frontpage

1

Three basic rules of safety hygiene in Rust (wrenn.fyi)

2 months ago | fanf2 | wrenn.fyi | newest

3

A discipline of error handling [pdf] (usenix.org)

2 months ago | fanf2 | usenix.org | newest

21

A memory of the nineteen nineties (1997) (archive.org)

2 months ago | fanf2 | archive.org | frontpage

2

Control Characters in ASCII and Unicode (aivosto.com)

2 months ago | fanf2 | aivosto.com | frontpage

1

WALI: WebAssembly with thin Linux kernel interfaces (acm.org)

2 months ago | fanf2 | acm.org | newest

2

The Fibrovisor: a display made from a tat shop fibre-optic wand (youtube.com)

2 months ago | fanf2 | youtube.com | newest

1

A worked example of copy-and-patch compilation (scot.tg)

2 months ago | fanf2 | scot.tg | newest

5

The Bayeux Tapestry with knobs on: what do its 93 es tell us? (historyextra.com)

2 months ago | fanf2 | historyextra.com | frontpage

4

CSS Animation with Offset-Path (yuanchuan.dev)

2 months ago | fanf2 | yuanchuan.dev | newest

1

Why eager languages don't have products and lazy languages don't have sums (james-iry.blogspot.com)

2 months ago | fanf2 | blogspot.com | newest

1

Uncurled: Everything Daniel Sternberg learned about running and maintaining Open (haxx.se)

2 months ago | fanf2 | haxx.se | newest

1

Exacerbating cross-site scripting: the iframe sandwich (coopergyoung.com)

3 months ago | fanf2 | coopergyoung.com | newest

2

SEninja: Symbolic execution plugin for Binary Ninja (github.com/borzacchiello)

3 months ago | fanf2 | github.com | newest

3

Rust programs written in Rust, without Libc (sunfishcode.online)

3 months ago | fanf2 | sunfishcode.online | newest

5

Always-on processor magic: how "Find My" works while iPhone is powered off (naehrdine.blogspot.com)

3 months ago | fanf2 | blogspot.com | frontpage

1

CPL elementary programming manual [pdf] (chilton-computing.org.uk)

3 months ago | fanf2 | chilton-computing.org.uk | newest

4

Dr Russell Barkley's 30 essential ideas everybody needs to know about ADHD. (Y [video] (youtube.com)

3 months ago | fanf2 | youtube.com | newest

1

Does using Rust make DNS name decompression safer? (tweedegolf.nl)

3 months ago | fanf2 | tweedegolf.nl | newest

1

ARMv8 instruction set overview [pdf] (princeton.edu)

3 months ago | fanf2 | princeton.edu | newest

1

One size fits none: everything you learned in your DBMS class is wrong (epfl.ch)

3 months ago | fanf2 | epfl.ch | newest

2

An iOS dlsym() PAC calculation bug (synacktiv.com)

3 months ago | fanf2 | synacktiv.com | newest

1

Breaking down multipart parsers: file upload validation bypass (sicuranext.com)

3 months ago | fanf2 | sicuranext.com | newest

5

A critical bibliography about the pirate site LibGen (eve.gd)

3 months ago | fanf2 | eve.gd | frontpage

3

See a PostgreSQL query, byte by byte, over TLS (bytebybyte.dev)

3 months ago | fanf2 | bytebybyte.dev | newest

4

Macros in the Dart Programming Language (github.com/dart-lang)

3 months ago | fanf2 | github.com | frontpage

2

Better Binary Quantization (BBQ) in Lucene and Elasticsearch (elastic.co)

3 months ago | fanf2 | elastic.co | newest