Hacker News headlines

19

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

a day ago | g0xA52A2A | buttondown.email | best

1

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

5 days ago | g0xA52A2A | cmu.edu | newest

49

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

a week ago | g0xA52A2A | github.io | best

1

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

a week ago | g0xA52A2A | acm.org | newest

28

Knuth–Morris–Pratt illustrated (cambridge.org)

2 weeks ago | g0xA52A2A | cambridge.org | best

2

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

3 weeks ago | g0xA52A2A | shift.click | newest

1

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

3 weeks ago | g0xA52A2A | nih.gov | newest

4

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

3 weeks ago | g0xA52A2A | arxiv.org | frontpage

0

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

a month ago | g0xA52A2A | beachape.com | newest

2

Agave Font (agaric.net)

a month ago | g0xA52A2A | agaric.net | newest

17

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

a month ago | g0xA52A2A | philipzucker.com | best

1

In Search of the Perfect Fold (thunderseethe.dev)

a month ago | g0xA52A2A | thunderseethe.dev | newest

36

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

a month ago | g0xA52A2A | github.com | best

1

Understanding the Phases Applicative (gist.github.com)

a month ago | g0xA52A2A | github.com | newest

2

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

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

1

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

a month ago | g0xA52A2A | ionathan.ch | newest

1

Why Is Defunctionalization Good? (michaelpj.com)

a month ago | g0xA52A2A | michaelpj.com | newest

2

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

a month ago | g0xA52A2A | arxiv.org | newest

2

A compact relocation format for ELF (maskray.me)

a month ago | g0xA52A2A | maskray.me | newest

1

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

a month ago | g0xA52A2A | bford.info | newest

26

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

a month ago | g0xA52A2A | paulgazzillo.com | best

1

TextOS – Twitter (github.com/m1guelpf)

2 months ago | g0xA52A2A | github.com | newest

1

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

2 months ago | g0xA52A2A | blogspot.com | frontpage

10

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

a month ago | g0xA52A2A | cipht.net | best

2

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

3 months ago | g0xA52A2A | microsoft.com | newest

1

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

3 months ago | g0xA52A2A | prophetlabs.de | newest

2

Vectorizing ML Models for Fun (bernsteinbear.com)

3 months ago | g0xA52A2A | bernsteinbear.com | newest

1

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

3 months ago | g0xA52A2A | github.com | newest

1

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

3 months ago | g0xA52A2A | youtube.com | newest

1

JIT in ClickHouse (maksimkita.com)

3 months ago | g0xA52A2A | maksimkita.com | newest

1

Comonads Are Objects (haskellforall.com)

3 months ago | g0xA52A2A | haskellforall.com | newest

1

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

3 months ago | g0xA52A2A | genivia.com | newest

2

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

4 months ago | g0xA52A2A | github.com | newest

1

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

4 months ago | g0xA52A2A | github.com | newest

1

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

4 months ago | g0xA52A2A | emptysqua.re | newest

1

Code vs. Data Driven Displacement (theorangeduck.com)

4 months ago | g0xA52A2A | theorangeduck.com | newest

15

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

4 months ago | g0xA52A2A | well-typed.com | best

1

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

4 months ago | g0xA52A2A | github.io | newest

2

On the Static Nature of Traversals (r6.ca)

4 months ago | g0xA52A2A | r6.ca | newest

0

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

4 months ago | g0xA52A2A | wordpress.com | newest

1

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

4 months ago | g0xA52A2A | github.io | newest

3

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

4 months ago | g0xA52A2A | blogspot.com | newest

1

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

4 months ago | g0xA52A2A | github.com | newest

1

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

4 months ago | g0xA52A2A | notgull.net | newest

28

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

4 months ago | g0xA52A2A | mahaloz.re | best

11

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

4 months ago | g0xA52A2A | devops-pipeline.com | frontpage

2

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

5 months ago | g0xA52A2A | github.io | newest

2

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

5 months ago | g0xA52A2A | substack.com | newest

1

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

5 months ago | g0xA52A2A | blogspot.com | newest

3

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

5 months ago | g0xA52A2A | acm.org | frontpage

22

OpenBSD – pinning all system calls (marc.info)

5 months ago | g0xA52A2A | marc.info | best

1

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

5 months ago | g0xA52A2A | swan.ac.uk | newest

1

Fixie Tries (cipht.net)

6 months ago | g0xA52A2A | cipht.net | newest

20

Poll_next (without.boats)

6 months ago | g0xA52A2A | without.boats | best

3

That's FAR-out, Man (XNU infoleak) (dfsec.com)

6 months ago | g0xA52A2A | dfsec.com | newest

1

A Touch of PWN – Part I (blackwinghq.com)

6 months ago | g0xA52A2A | blackwinghq.com | newest

34

CacheWarp: A new software fault attack on AMD SEV-ES and SEV-SNP (cachewarpattack.com)

6 months ago | g0xA52A2A | cachewarpattack.com | best

6

Debian on Mellanox SN2700 (32x100G) (ipng.ch)

6 months ago | g0xA52A2A | ipng.ch | frontpage

1

[]byte versus io.Reader (philpearl.github.io)

6 months ago | g0xA52A2A | github.io | newest

1

Azure sets a scale record in large language model training (microsoft.com)

6 months ago | g0xA52A2A | microsoft.com | newest

61

Researchers uncover the fastest semiconductor yet (ieee.org)

6 months ago | g0xA52A2A | ieee.org | best

1

ZFS Sync Parallelism (github.com/openzfs)

6 months ago | g0xA52A2A | github.com | newest

1

Recursion: A Quick Introduction (recursion.wtf)

7 months ago | g0xA52A2A | recursion.wtf | newest

4

An extremely minimal drawing language consisting of only 5 simple commands (github.com/susam)

7 months ago | g0xA52A2A | github.com | frontpage

1

Building on the at Protocol (atproto.com)

7 months ago | g0xA52A2A | atproto.com | newest

4

Alvis (xeiaso.net)

7 months ago | g0xA52A2A | xeiaso.net | frontpage

1

Mutex without lock, Queue without push: cancel safety in lilos (cliffle.com)

7 months ago | g0xA52A2A | cliffle.com | newest

1

Meltdown-US / Meltdown 3a Remaining Leakage (marc.info)

7 months ago | g0xA52A2A | marc.info | newest

2

TiDB: A Raft-Based HTAP Database (muratbuffalo.blogspot.com)

7 months ago | g0xA52A2A | blogspot.com | newest

1

Solving Thundering Herds with Request Coalescing in Go (jazco.dev)

7 months ago | g0xA52A2A | jazco.dev | newest

61

PruningRadixTrie – Faster Radix trie for prefix search and auto-complete (github.com/wolfgarbe)

8 months ago | g0xA52A2A | github.com | best

77

μMon: Stupid simple monitoring (2022) (sig7.se)

8 months ago | g0xA52A2A | sig7.se | best

7

Drawing hat tiling using Racket (rdivyanshu.github.io)

8 months ago | g0xA52A2A | github.io | frontpage

2

Syscall latency and some uses of speculative execution (oracle.com)

8 months ago | g0xA52A2A | oracle.com | newest

2

Authenticated encryption: why you need it and how it works (corbellini.name)

8 months ago | g0xA52A2A | corbellini.name | newest

1

Racket->Rhombus: To Sexp or Not to Sexp? (gopiandcode.uk)

8 months ago | g0xA52A2A | gopiandcode.uk | newest

1

Fast Map Union and Local Instances Through Instance Types (prophetlabs.de)

8 months ago | g0xA52A2A | prophetlabs.de | newest

10

Metastable Failures in the Wild (muratbuffalo.blogspot.com)

8 months ago | g0xA52A2A | blogspot.com | best

40

S32 Unix Clock (da.vidbuchanan.co.uk)

8 months ago | g0xA52A2A | vidbuchanan.co.uk | best

1

An Alternative Syntax for Async Functions (ibraheem.ca)

8 months ago | g0xA52A2A | ibraheem.ca | newest

1

Speculating on the Apple M2: Local Prediction (reflexive.space)

8 months ago | g0xA52A2A | reflexive.space | newest

2

Halloween Problem (wikipedia.org)

8 months ago | g0xA52A2A | wikipedia.org | newest

1

Compiling a Test Suite (concerningquality.com)

8 months ago | g0xA52A2A | concerningquality.com | newest

0

Yoneda’s lemma as an identification of form and function (terrytao.wordpress.com)

9 months ago | g0xA52A2A | wordpress.com | newest

1

Stelf-loader: A stealthy ELF loader – no files, no execve, no RWX (github.com/davidbuchanan314)

9 months ago | g0xA52A2A | github.com | newest

1

Learning ‘The Knowledge’: How London Taxi Drivers Build Their Cognitive Map (biorxiv.org)

9 months ago | g0xA52A2A | biorxiv.org | newest

5

Mountpoint for Amazon S3 – Generally Available (amazon.com)

9 months ago | g0xA52A2A | amazon.com | newest

2

HashiCorp Licensing FAQ (hashicorp.com)

9 months ago | g0xA52A2A | hashicorp.com | frontpage

1

Divergefs file system for Plan 9 (cmu.edu)

9 months ago | g0xA52A2A | cmu.edu | newest

2

Seize: Fast, efficient, and robust reclamation for concurrent data structures (docs.rs)

9 months ago | g0xA52A2A | docs.rs | newest

1

Reducing Haskell parallel build times using semaphores (well-typed.com)

9 months ago | g0xA52A2A | well-typed.com | newest

394

Google’s Plan to DRM the Web Goes Against Everything Google Once Stood For (techdirt.com)

9 months ago | g0xA52A2A | techdirt.com | best

2

Most Influential Database Papers (rmarcus.info)

9 months ago | g0xA52A2A | rmarcus.info | newest

1

How to Draw (String Diagrams) [pdf] (files.wordpress.com)

10 months ago | g0xA52A2A | wordpress.com | newest

2

We've Got a Vulkan Memory Allocator at Home (nega.tv)

10 months ago | g0xA52A2A | nega.tv | newest

3

The best multicore-parallelization refactoring you’ve never heard of∗ (cmu.edu)

10 months ago | g0xA52A2A | cmu.edu | frontpage

2

Mutex without lock, Queue without push: cancel safety in lilos (cliffle.com)

10 months ago | g0xA52A2A | cliffle.com | newest

2

FAQ with Answers about the 500-mile email (ibiblio.org)

10 months ago | g0xA52A2A | ibiblio.org | newest

1

The IL Protocol (cat-v.org)

10 months ago | g0xA52A2A | cat-v.org | newest

1

Writing a 9P Server from Scratch (aqwari.net)

10 months ago | g0xA52A2A | aqwari.net | newest