Hacker News: fanf2

Precedence levels are dead; long live precedence sets

fanf2 — Wed, 28 Oct 2026 15:42:08 +0000

Article URL: https://www.corsix.org/content/precedence-levels-are-dead

Comments URL: https://news.ycombinator.com/item?id=50275541

Points: 4

# Comments: 0

A bit provenance abstract domain for the Toy optimizer

fanf2 — Wed, 28 Oct 2026 09:42:08 +0000

Article URL: https://pypy.org/posts/2026/10/toy-bit-provenance.html

Comments URL: https://news.ycombinator.com/item?id=50271077

Points: 2

# Comments: 0

Methane Hotspot Explorer

fanf2 — Tue, 27 Oct 2026 18:42:08 +0000

Article URL: https://atmosphere.copernicus.eu/ghg-services/cams-methane-hotspot-explorer

Comments URL: https://news.ycombinator.com/item?id=50263825

Points: 5

# Comments: 0

How integers should work (in systems programming languages)

fanf2 — Mon, 26 Oct 2026 09:42:07 +0000

Article URL: https://blog.regehr.org/archives/642

Comments URL: https://news.ycombinator.com/item?id=50241314

Points: 1

# Comments: 1

Worried by Wordexp(3)

fanf2 — Sun, 25 Oct 2026 21:42:07 +0000

Article URL: https://www.cipht.net/2023/11/21/worried-by-wordexp.html

Comments URL: https://news.ycombinator.com/item?id=50236332

Points: 3

# Comments: 1

Analyzing Rust Programs with Charon

fanf2 — Fri, 23 Oct 2026 20:42:06 +0000

Article URL: https://lwn.net/Articles/1097198/

Comments URL: https://news.ycombinator.com/item?id=50215040

Points: 2

# Comments: 0

Safe self-referential data structures in Linux kernel Rust

fanf2 — Fri, 23 Oct 2026 14:42:07 +0000

Article URL: https://lwn.net/SubscriberLink/1099224/54c55e87a0828522/

Comments URL: https://news.ycombinator.com/item?id=50209893

Points: 4

# Comments: 0

Record Types Everywhere

fanf2 — Fri, 23 Oct 2026 11:42:06 +0000

Article URL: https://arxiv.org/abs/2610.27519

Comments URL: https://news.ycombinator.com/item?id=50207428

Points: 1

# Comments: 0

Google Chrome is breaking the web forward

fanf2 — Fri, 23 Oct 2026 08:42:07 +0000

Article URL: https://www.quirksmode.org/blog/archives/2021/08/breaking_the_we.html

Comments URL: https://news.ycombinator.com/item?id=50206089

Points: 4

# Comments: 2

Papers we love: flow typing, a new lens on linearity

fanf2 — Thu, 22 Oct 2026 17:42:08 +0000

Article URL: https://jaredforsyth.com/posts/papers-we-love-lens-on-linearity/

Comments URL: https://news.ycombinator.com/item?id=50198643

Points: 2

# Comments: 0

Removing a type assertion with Object.assign in TypeScript

fanf2 — Tue, 20 Oct 2026 08:42:07 +0000

Article URL: https://ataias.com.br/2026/10/01/removing-a-type-assertion-with-object.assign/

Comments URL: https://news.ycombinator.com/item?id=50163056

Points: 3

# Comments: 0

One Hash Bloom Filters

fanf2 — Mon, 19 Oct 2026 17:42:07 +0000

Article URL: https://www.calabro.io/ohbf

Comments URL: https://news.ycombinator.com/item?id=50155415

Points: 2

# Comments: 0

Black-box HashDoS: attacking hash tables without knowing the hash function

fanf2 — Fri, 16 Oct 2026 14:42:07 +0000

Article URL: https://orlp.net/blog/black-box-hashdos/

Comments URL: https://news.ycombinator.com/item?id=50118957

Points: 4

# Comments: 0

Bidirectional Type Slicing

fanf2 — Thu, 15 Oct 2026 08:42:07 +0000

Article URL: https://arxiv.org/abs/2607.12197

Comments URL: https://news.ycombinator.com/item?id=50100944

Points: 1

# Comments: 0

Making a language with row types and bidirectional typing, targeting WASM

fanf2 — Tue, 13 Oct 2026 20:42:07 +0000

Article URL: https://thunderseethe.dev/series/making-a-language/

Comments URL: https://news.ycombinator.com/item?id=50078421

Points: 4

# Comments: 0

Chasing a -O2 Pessimization in Antcc

fanf2 — Tue, 13 Oct 2026 17:42:07 +0000

Article URL: https://386s.org/w/lua-antcc-pessimization/

Comments URL: https://news.ycombinator.com/item?id=50075651

Points: 2

# Comments: 0

Reconstructing a TypeScript bidirectional type checker

fanf2 — Tue, 13 Oct 2026 14:42:06 +0000

Article URL: https://jaked.org/blog/2021-09-07-Reconstructing-TypeScript-part-0

Comments URL: https://news.ycombinator.com/item?id=50072517

Points: 1

# Comments: 1

Noperts: Reproducible proofs of non-Rupert polyhedra

fanf2 — Tue, 13 Oct 2026 08:42:06 +0000

Article URL: https://github.com/tom7/noperts

Comments URL: https://news.ycombinator.com/item?id=50068565

Points: 3

# Comments: 0

The Wild West of polyglot docs sites

fanf2 — Mon, 12 Oct 2026 17:42:07 +0000

Article URL: https://technicalwriting.dev/blog/2026/10/polyglot/index.html

Comments URL: https://news.ycombinator.com/item?id=50059965

Points: 1

# Comments: 0

A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda

fanf2 — Sat, 10 Oct 2026 11:42:07 +0000

Article URL: https://blueberrywren.dev/blog/primes/

Comments URL: https://news.ycombinator.com/item?id=50031917

Points: 2

# Comments: 0