Hacker News headlines

20

Poll_next (without.boats)

a year ago | g0xA52A2A | without.boats | best

3

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

a year ago | g0xA52A2A | dfsec.com | newest

1

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

a year ago | g0xA52A2A | blackwinghq.com | newest

34

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

a year ago | g0xA52A2A | cachewarpattack.com | best

6

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

a year ago | g0xA52A2A | ipng.ch | frontpage

1

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

a year ago | g0xA52A2A | github.io | newest

1

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

a year ago | g0xA52A2A | microsoft.com | newest

61

Researchers uncover the fastest semiconductor yet (ieee.org)

a year ago | g0xA52A2A | ieee.org | best

1

ZFS Sync Parallelism (github.com/openzfs)

a year ago | g0xA52A2A | github.com | newest

1

Recursion: A Quick Introduction (recursion.wtf)

a year ago | g0xA52A2A | recursion.wtf | newest

4

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

a year ago | g0xA52A2A | github.com | frontpage

1

Building on the at Protocol (atproto.com)

a year ago | g0xA52A2A | atproto.com | newest

4

Alvis (xeiaso.net)

a year ago | g0xA52A2A | xeiaso.net | frontpage

1

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

a year ago | g0xA52A2A | cliffle.com | newest

1

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

a year ago | g0xA52A2A | marc.info | newest

2

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

a year ago | g0xA52A2A | blogspot.com | newest

1

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

a year ago | g0xA52A2A | jazco.dev | newest

61

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

a year ago | g0xA52A2A | github.com | best

77

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

a year ago | g0xA52A2A | sig7.se | best

7

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

a year ago | g0xA52A2A | github.io | frontpage

2

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

a year ago | g0xA52A2A | oracle.com | newest

2

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

a year ago | g0xA52A2A | corbellini.name | newest

1

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

a year ago | g0xA52A2A | gopiandcode.uk | newest

1

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

a year ago | g0xA52A2A | prophetlabs.de | newest

10

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

a year ago | g0xA52A2A | blogspot.com | best

40

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

a year ago | g0xA52A2A | vidbuchanan.co.uk | best

1

An Alternative Syntax for Async Functions (ibraheem.ca)

2 years ago | g0xA52A2A | ibraheem.ca | newest

1

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

2 years ago | g0xA52A2A | reflexive.space | newest

2

Halloween Problem (wikipedia.org)

2 years ago | g0xA52A2A | wikipedia.org | newest

1

Compiling a Test Suite (concerningquality.com)

2 years ago | g0xA52A2A | concerningquality.com | newest

0

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

2 years ago | g0xA52A2A | wordpress.com | newest

1

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

2 years ago | g0xA52A2A | github.com | newest

1

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

2 years ago | g0xA52A2A | biorxiv.org | newest

5

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

2 years ago | g0xA52A2A | amazon.com | newest

2

HashiCorp Licensing FAQ (hashicorp.com)

2 years ago | g0xA52A2A | hashicorp.com | frontpage

1

Divergefs file system for Plan 9 (cmu.edu)

2 years ago | g0xA52A2A | cmu.edu | newest

2

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

2 years ago | g0xA52A2A | docs.rs | newest

1

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

2 years ago | g0xA52A2A | well-typed.com | newest

394

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

2 years ago | g0xA52A2A | techdirt.com | best

2

Most Influential Database Papers (rmarcus.info)

2 years ago | g0xA52A2A | rmarcus.info | newest

1

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

2 years ago | g0xA52A2A | wordpress.com | newest

2

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

2 years ago | g0xA52A2A | nega.tv | newest

3

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

2 years ago | g0xA52A2A | cmu.edu | frontpage

2

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

2 years ago | g0xA52A2A | cliffle.com | newest

2

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

2 years ago | g0xA52A2A | ibiblio.org | newest

1

The IL Protocol (cat-v.org)

2 years ago | g0xA52A2A | cat-v.org | newest

1

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

2 years ago | g0xA52A2A | aqwari.net | newest

1

Userspace Bypass: Accelerating Syscall-Intensive Applications (usenix.org)

2 years ago | g0xA52A2A | usenix.org | newest

2

Compiling to Intrinsically Typed Combinators (byorgey.wordpress.com)

2 years ago | g0xA52A2A | wordpress.com | newest

2

Half&Half: Demystifying Intel’s Directional Branch Predictors [video] (youtube.com)

2 years ago | g0xA52A2A | youtube.com | newest

8

Large Multiplication (numberworld.org)

2 years ago | g0xA52A2A | numberworld.org | frontpage

0

Distributed Transactions at Scale in Amazon DynamoDB (usenix.org)

2 years ago | g0xA52A2A | usenix.org | newest

10

Intel VT-rp – Part 1. remapping attack and HLAT (tandasat.github.io)

2 years ago | g0xA52A2A | github.io | frontpage

5

Simulation Testing for Liveness (tigerbeetle.com)

2 years ago | g0xA52A2A | tigerbeetle.com | frontpage

2

Large Poisson polynomials: Computation, results and analysis [pdf] (davidhbailey.com)

2 years ago | g0xA52A2A | davidhbailey.com | newest

1

A persistent task queue in Rust (jmmv.dev)

2 years ago | g0xA52A2A | jmmv.dev | newest

1

Demystifying Pratt Parsers (janiczek.cz)

2 years ago | g0xA52A2A | janiczek.cz | newest

3

Propagating bounds through bitwise operations (bitmath.blogspot.com)

2 years ago | g0xA52A2A | blogspot.com | newest

3

Working Ternary ALU (2019) (louis-dr.github.io)

2 years ago | g0xA52A2A | github.io | frontpage

1

The Centrality of AffineTraversal (typeclasses.substack.com)

2 years ago | g0xA52A2A | substack.com | newest

1

Chyp: An interactive theorem prover for string diagrams (github.com/akissinger)

2 years ago | g0xA52A2A | github.com | newest

1

ICFP Pearl preprint on rec-def (joachim-breitner.de)

2 years ago | g0xA52A2A | joachim-breitner.de | newest

2

TIL: Don’t forget your Web Manifest file (goodenough.us)

2 years ago | g0xA52A2A | goodenough.us | frontpage

16

Dynamic programming in Haskell: automatic memoization (byorgey.wordpress.com)

2 years ago | g0xA52A2A | wordpress.com | best

34

Go: Execution Tracer Overhaul (googlesource.com)

2 years ago | g0xA52A2A | googlesource.com | best

1

Explainer: Dominion Vulns Reported by Halderman (cybersect.substack.com)

2 years ago | g0xA52A2A | substack.com | newest

133

Update: U+237C ⍼ &Angzarr; (ionathan.ch)

2 years ago | g0xA52A2A | ionathan.ch | best

1

Versity open-sources S3 gateway with no poison pill (blocksandfiles.com)

2 years ago | g0xA52A2A | blocksandfiles.com | newest

1

Anonymous Sums from Scratch (jship.github.io)

2 years ago | g0xA52A2A | github.io | newest

3

yyjson: A high performance C JSON library (ibireme.github.io)

2 years ago | g0xA52A2A | github.io | newest

3

What is Lattice-based Cryptography? (thelatticeclub.com)

2 years ago | g0xA52A2A | thelatticeclub.com | newest

62

Cuneicode, and the Future of Text in C (thephd.dev)

2 years ago | g0xA52A2A | thephd.dev | best

14

Compress-a-Palooza: Unpacking 5B Varints in Only 4B CPU Cycles (bazhenov.me)

2 years ago | g0xA52A2A | bazhenov.me | frontpage

1

Tree Borrows – A new aliasing model for Rust (crans.org)

2 years ago | g0xA52A2A | crans.org | newest

1

Parsing Diff Output in Haskell (prborges.com)

2 years ago | g0xA52A2A | prborges.com | newest

1

Deco – Delimiter Collision Free Format (github.com/enhex)

2 years ago | g0xA52A2A | github.com | newest

29

Typical: Data interchange with algebraic data types (github.com/stepchowfun)

2 years ago | g0xA52A2A | github.com | best

1

Implementing complex numbers and FFT with just datatypes (no floats) (gist.github.com)

2 years ago | g0xA52A2A | github.com | newest

1

Bound by a Free-Monad-Like Structure (functor.tokyo)

2 years ago | g0xA52A2A | functor.tokyo | newest

1

Hardening Allocators with ADI (lazytyped.blogspot.com)

2 years ago | g0xA52A2A | blogspot.com | newest

3

How Capabilities Work in Austral (borretti.me)

2 years ago | g0xA52A2A | borretti.me | newest

2

Programming in Style: From Pattern Matching to Point Free (dragonwasrobot.com)

2 years ago | g0xA52A2A | dragonwasrobot.com | newest

3

Merkle Tree Certificates for TLS (ietf.org)

2 years ago | g0xA52A2A | ietf.org | newest

1

Ultimate SLH: Taking Speculative Load Hardening to the Next Level (iacr.org)

2 years ago | g0xA52A2A | iacr.org | newest

4

Reversing the AMD Secure Processor (PSP) – Part 1: Design and Overview (dayzerosec.com)

2 years ago | g0xA52A2A | dayzerosec.com | newest

2

Vulkan Shader Resource binding in 2023 (kittycad.io)

2 years ago | g0xA52A2A | kittycad.io | frontpage

5

Purely Functional AVL Trees in Common Lisp (2018) (two-wrongs.com)

2 years ago | g0xA52A2A | two-wrongs.com | frontpage

2

Destroy All Values: Designing Deinitialization in Programming Languages (faultlore.com)

2 years ago | g0xA52A2A | faultlore.com | newest

41

Nibbles of Rust – Restructuring Patterns (catmonad.xyz)

2 years ago | g0xA52A2A | catmonad.xyz | best

168

Effective Spaced Repetition (borretti.me)

2 years ago | g0xA52A2A | borretti.me | best

3

An example run of a matrix-based causal unicast protocol (decomposition.al)

2 years ago | g0xA52A2A | decomposition.al | newest

4

Column-Oriented Row Reduction (bitmath.blogspot.com)

2 years ago | g0xA52A2A | blogspot.com | frontpage

1

The Scoped Task Trilemma (without.boats)

2 years ago | g0xA52A2A | without.boats | newest

18

How to avoid correctness space leaks on a lazy setting in Haskell (epicandmonicisnotiso.blogspot.com)

2 years ago | g0xA52A2A | blogspot.com | frontpage

41

Custom Allocators in Rust (nical.github.io)

2 years ago | g0xA52A2A | github.io | best

53

Calling Purgatory from Heaven: Binding to Rust in Haskell (well-typed.com)

2 years ago | g0xA52A2A | well-typed.com | best

2

Ergonomic newtypes for Haskell strings and numbers (haskellforall.com)

2 years ago | g0xA52A2A | haskellforall.com | newest

32

Comprehensive Keyboard Handling in Terminals (kovidgoyal.net)

2 years ago | g0xA52A2A | kovidgoyal.net | best

2

How to Avoid the ACropalypse (trailofbits.com)

2 years ago | g0xA52A2A | trailofbits.com | newest

34

Decreasing the number of memory accesses (johnnysswlab.com)

2 years ago | g0xA52A2A | johnnysswlab.com | best