Hacker News headlines

1

Launching QuickDID – Fast, Open Handle Resolution for the AT Protocol (leaflet.pub)

a day ago | g0xA52A2A | leaflet.pub | newest

1

Driftsort: An efficient, generic and robust stable sort implementation (github.com/voultapher)

a day ago | g0xA52A2A | github.com | newest

30

Areal, Are.na's new typeface (are.na)

2 weeks ago | g0xA52A2A | are.na | best

1

Cabinet: Dynamically Weighted Consensus Made Fast (muratbuffalo.blogspot.com)

2 weeks ago | g0xA52A2A | blogspot.com | newest

2

Chunking for Fasta Parsing (curiouscoding.nl)

3 weeks ago | g0xA52A2A | curiouscoding.nl | newest

2

In Order Traversal in Haskell and Rust (mmhaskell.com)

a month ago | g0xA52A2A | mmhaskell.com | newest

139

Building Bluesky comments for my blog (natalie.sh)

a month ago | g0xA52A2A | natalie.sh | best

2

Zero-Copy (De)Serialization (apache.org)

4 months ago | g0xA52A2A | apache.org | newest

2

Jujutsu UI (github.com/idursun)

4 months ago | g0xA52A2A | github.com | newest

1

Destructive Updates – A Stitch in Time (icicle-lang.github.io)

6 months ago | g0xA52A2A | github.io | frontpage

1

SimdSketch: A Fast Bucket Sketch (curiouscoding.nl)

6 months ago | g0xA52A2A | curiouscoding.nl | newest

8

Intensional Joy (a concatenative account of internal structure) (pithlessly.github.io)

7 months ago | g0xA52A2A | github.io | frontpage

25

Ways to generate SSA (bernsteinbear.com)

7 months ago | g0xA52A2A | bernsteinbear.com | best

3

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (acm.org)

7 months ago | g0xA52A2A | acm.org | newest

2

Pwn2Own Automotive: Popping the Charx SEC-3100 (ret2.io)

8 months ago | g0xA52A2A | ret2.io | newest

2

Optics for UI 1: Deconstructing React with Parametrised Lenses (cybercat.institute)

8 months ago | g0xA52A2A | cybercat.institute | newest

2

A Practical Interpretation of Linear Logic (protovision.github.io)

8 months ago | g0xA52A2A | github.io | newest

34

Into CPS, Never to Return (bernsteinbear.com)

9 months ago | g0xA52A2A | bernsteinbear.com | best

2

Well-Typed Substructural Languages (zanzix.github.io)

9 months ago | g0xA52A2A | github.io | newest

32

Hacking physics from the back of a napkin (2020) (hapax.github.io)

9 months ago | g0xA52A2A | github.io | best

2

Dependent Types and the Art of HTTP Headers (github.com/mar-file-system)

10 months ago | g0xA52A2A | github.com | newest

46

The Rise of Bluesky (acm.org)

10 months ago | g0xA52A2A | acm.org | frontpage

30

Scientific computing with confidence using typed dimensions (laurentrdc.xyz)

10 months ago | g0xA52A2A | laurentrdc.xyz | best

1

Reliable Immutable Transfer Protocol (paper.wf)

10 months ago | g0xA52A2A | paper.wf | newest

70

OpenVMM – A New VMM for Windows and Linux, Written in Rust (github.com/microsoft)

11 months ago | g0xA52A2A | github.com | best

1

Linearity in Query Processing (buttondown.com/jaffray)

11 months ago | g0xA52A2A | buttondown.com | newest

1

Hytradboi 2025 (scattered-thoughts.net)

12 months ago | g0xA52A2A | scattered-thoughts.net | newest

2

OpenBSD crond / crontab set_range() heap underflow (CVE-2024-43688) (supernetworks.org)

a year ago | g0xA52A2A | supernetworks.org | newest

2

Behind the Scenes on Type Directed Search for Unison Share (unison-lang.org)

a year ago | g0xA52A2A | unison-lang.org | newest

1

Abstract Interpretation in the Toy Optimizer (bernsteinbear.com)

a year ago | g0xA52A2A | bernsteinbear.com | newest

3

No More Tears, No More Knots: Arena-Allocated Trees in Rust (deciduously.com)

a year ago | g0xA52A2A | deciduously.com | newest

2

EGraphs as Ground Completion Talk and Egraphs 2024 Notes (philipzucker.com)

a year ago | g0xA52A2A | philipzucker.com | newest

1

Sans I/O when rubber meets the road (fractalideas.com)

a year ago | g0xA52A2A | fractalideas.com | newest

5

Identifying Leap Years (2020) (davecturner.github.io)

a year ago | g0xA52A2A | github.io | frontpage

1

What does GCD have in common with leap years? (palaiologos.rocks)

a year ago | g0xA52A2A | palaiologos.rocks | newest

2

The FastLanes Compression Layout: Decoding >100B Integers per Second [pdf] (vldb.org)

a year ago | g0xA52A2A | vldb.org | newest

1

Spending too much time optimizing for loops (octavelarose.github.io)

a year ago | g0xA52A2A | github.io | newest

1

Inline caching in our AST interpreter (octavelarose.github.io)

a year ago | g0xA52A2A | github.io | newest

1

Knot-based Key Exchange protocol [pdf] (iacr.org)

a year ago | g0xA52A2A | iacr.org | newest

1

lsb2s – Ludicrous speed binary to source converter (gitlab.com/mbitsnbites)

a year ago | g0xA52A2A | gitlab.com | newest

13

Overflow in consistent hashing (2018) (rmarcus.info)

a year ago | g0xA52A2A | rmarcus.info | best

1

Union vs. Sum Types (viralinstruction.com)

a year ago | g0xA52A2A | viralinstruction.com | newest

1

Building a Better Hashtable on an FPGA (adamwalker.github.io)

a year ago | g0xA52A2A | github.io | newest

3

Notes on Implementing Algebraic Subtyping (semantic.org)

a year ago | g0xA52A2A | semantic.org | newest

1

A small template engine for C (omarpolo.com)

a year ago | g0xA52A2A | omarpolo.com | newest

1

Modular Error Reporting with Dependent Lenses (cybercat.institute)

a year ago | g0xA52A2A | cybercat.institute | newest

20

Decoding UTF8 with parallel extract (nrk.neocities.org)

a year ago | g0xA52A2A | neocities.org | best

19

Not all graphs are trees (buttondown.email/jaffray)

a year ago | g0xA52A2A | buttondown.email | best

1

Heartbeat Scheduling: Provable efficiency for nested parallelism (cmu.edu)

a year ago | g0xA52A2A | cmu.edu | newest

49

[flagged] Lolita: A tagless, dependently typed, self-aware programming language (hirrolot.github.io)

a year ago | g0xA52A2A | github.io | best

1

Unanimous 2PC: Fault-Tolerant Distributed Transactions Can Be Fast and Simple (acm.org)

a year ago | g0xA52A2A | acm.org | newest

28

Knuth–Morris–Pratt illustrated (cambridge.org)

a year ago | g0xA52A2A | cambridge.org | best

2

Why is there no realloc that takes the number of bytes to copy? (shift.click)

a year ago | g0xA52A2A | shift.click | newest

1

Open-source XYZ nanopositioner for precision analytical applications (nih.gov)

a year ago | g0xA52A2A | nih.gov | newest

4

Rendering string diagrams recursively [pdf] (arxiv.org)

a year ago | g0xA52A2A | arxiv.org | frontpage

0

Gentle Intro to Type-Level Recursion in Rust: From Zero to HList Sculpting (beachape.com)

a year ago | g0xA52A2A | beachape.com | newest

2

Agave Font (agaric.net)

a year ago | g0xA52A2A | agaric.net | newest

17

Linear Algebra of Types (2019) (philipzucker.com)

a year ago | g0xA52A2A | philipzucker.com | best

1

In Search of the Perfect Fold (thunderseethe.dev)

a year ago | g0xA52A2A | thunderseethe.dev | newest

36

Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec (github.com/cryspen)

a year ago | g0xA52A2A | github.com | best

1

Understanding the Phases Applicative (gist.github.com)

a year ago | g0xA52A2A | github.com | newest

2

Faster and Fewer Page Faults (kernel-recipes.org)

a year ago | g0xA52A2A | kernel-recipes.org | newest

1

What's in a GIF? (ionathan.ch)

a year ago | g0xA52A2A | ionathan.ch | newest

1

Why Is Defunctionalization Good? (michaelpj.com)

a year ago | g0xA52A2A | michaelpj.com | newest

2

Evaluating the Claims of "SAT Requires Exhaustive Search" (arxiv.org)

a year ago | g0xA52A2A | arxiv.org | newest

2

A compact relocation format for ELF (maskray.me)

a year ago | g0xA52A2A | maskray.me | newest

1

QuePaxa: Escaping the Tyranny of Timeouts in Consensus (bford.info)

a year ago | g0xA52A2A | bford.info | newest

26

SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012) (paulgazzillo.com)

a year ago | g0xA52A2A | paulgazzillo.com | best

1

TextOS – Twitter (github.com/m1guelpf)

a year ago | g0xA52A2A | github.com | newest

1

Writing a scheduler for Linux in Rust that runs in user-space (part 2) (arighi.blogspot.com)

a year ago | g0xA52A2A | blogspot.com | frontpage

10

The perils of pause(2) (2023) (cipht.net)

a year ago | g0xA52A2A | cipht.net | best

2

Microsoft and Mistral AI announce new partnership (microsoft.com)

a year ago | g0xA52A2A | microsoft.com | newest

1

Blazingly Fast™ Type Class Resolution with Tries (prophetlabs.de)

a year ago | g0xA52A2A | prophetlabs.de | newest

2

Vectorizing ML Models for Fun (bernsteinbear.com)

a year ago | g0xA52A2A | bernsteinbear.com | newest

1

bpaf – Command line parser with applicative interface (github.com/pacak)

a year ago | g0xA52A2A | github.com | newest

1

The Ultimate Conditional Syntax [video] (youtube.com)

a year ago | g0xA52A2A | youtube.com | newest

1

JIT in ClickHouse (maksimkita.com)

a year ago | g0xA52A2A | maksimkita.com | newest

1

Comonads Are Objects (haskellforall.com)

a year ago | g0xA52A2A | haskellforall.com | newest

1

A New Fast Approximate Multi-String Search Method – Faster Grepping with Ugrep (genivia.com)

a year ago | g0xA52A2A | genivia.com | newest

2

Zarc: Archive Format Based on ZSTD (github.com/passcod)

a year ago | g0xA52A2A | github.com | newest

1

Metamalloc.h: Single header template based general purpose memory allocation (github.com/akhin)

a year ago | g0xA52A2A | github.com | newest

1

Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks (emptysqua.re)

a year ago | g0xA52A2A | emptysqua.re | newest

1

Code vs. Data Driven Displacement (theorangeduck.com)

a year ago | g0xA52A2A | theorangeduck.com | newest

15

When "blocked indefinitely" is not indefinite (well-typed.com)

a year ago | g0xA52A2A | well-typed.com | best

1

ASLRn't: How memory alignment broke library ASLR (zolutal.github.io)

a year ago | g0xA52A2A | github.io | newest

2

On the Static Nature of Traversals (r6.ca)

a year ago | g0xA52A2A | r6.ca | newest

0

Penrose Kite and Dart Tilings with Haskell Diagrams (readerunner.wordpress.com)

a year ago | g0xA52A2A | wordpress.com | newest

1

The Interconnect, Harvard Architecture, and Dual Port RAM (epsilon537.github.io)

a year ago | g0xA52A2A | github.io | newest

3

Bulk Visitation in Boost:Concurrent_flat_map (bannalia.blogspot.com)

a year ago | g0xA52A2A | blogspot.com | newest

1

SNESTang – SNES for Sipeed Tang Primer 25K FPGA Board (github.com/nand2mario)

a year ago | g0xA52A2A | github.com | newest

1

Smol-macros, smol-hyper and smol-axum (notgull.net)

a year ago | g0xA52A2A | notgull.net | newest

28

30 Years of Decompilation and the Unsolved Structuring Problem: Part 1 (mahaloz.re)

a year ago | g0xA52A2A | mahaloz.re | best

11

Mazzle – A pipelines as code tool (devops-pipeline.com)

a year ago | g0xA52A2A | devops-pipeline.com | frontpage

2

SQL query compiler from scratch in Rust: Part one, the query plan representation (asenac.github.io)

a year ago | g0xA52A2A | github.io | newest

2

What Does the Cerebellum Do Anyway? (sarahconstantin.substack.com)

a year ago | g0xA52A2A | substack.com | newest

1

Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks (muratbuffalo.blogspot.com)

a year ago | g0xA52A2A | blogspot.com | newest

3

Clockhands: Rename-Free Instruction Set Architecture for Out-of-Order Processors (acm.org)

a year ago | g0xA52A2A | acm.org | frontpage

22

OpenBSD – pinning all system calls (marc.info)

a year ago | g0xA52A2A | marc.info | best

1

The Wheel of Rational Numbers as an Abstract Data Type (swan.ac.uk)

a year ago | g0xA52A2A | swan.ac.uk | newest

1

Fixie Tries (cipht.net)

a year ago | g0xA52A2A | cipht.net | newest