30
1
Deciphering a business card raytracer. (2013) (fabiensanglard.net)
1
Verilog: Back to the building blocks' building blocks (cornell.edu)
1
Mvm: A fast bytecode interpreter for Golang (mvm.sh)
1
From AFSK to Goertzel: demodulating packet radio (uart.cz)
1
Antcc: A Little C Compiler (codeberg.org/lsof)
3
Kefir: A C17/C23 Compiler (sr.ht)
2
Scoped Error in Rust (kanru.info)
5
Slimcc: C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD, written in C9 (github.com/fuhsnn)
1
Spy: language semantics for a statically-typed compiled variant of Python (antocuni.eu)
2
The fourth independent assessment of UK climate risk (theccc.org.uk)
5
Jira Is Turing Complete (seriot.ch)
1
The Meaning of Doing Mathematics (arxiv.org)
5
A new suite of modern tools for editing and publishing IETF RFCs (ietf.org)
2
AI companies use malware proxies to mount DDoS attacks on web sites (packetstream.io)
1
Open Access to Standards Documents (llvm.org)
2
A revolution in mathematics? What happened a century ago and why it matte [pdf] (ams.org)
2
Emacs After Magit (sdf.org)
3
Spork: A POSIX_spawn you can use as a fork (acm.org)
1
Text for proofing fonts: a farewell to the quick brown fox (typography.com)
1
Bear generates a compilation database for Clang tooling (github.com/rizsotto)
1
Ccls: A C/C++/Objective-C language server protocol implementation derived from C (github.com/maskray)
1
A simple Daikon-style runtime invariant miner for Python (gopinath.org)
1
5× faster fast_blur in image-rs (apas.tel)
1
Building a clock from salvaged vacuum fluorescent displays (maurycyz.com)
1
Bidirectional typechecking that does not stop (semantic-domain.blogspot.com)
1
°C: a short history of the standard reference temperature for industrial dim (nih.gov)
9
A field manual for Deutsche Bahn (hofstede.it)
1
So you want to deploy Falcon / FN-DSA for small post-quantum signatures (keymaterial.net)
7
Self-contained Linux applications with lone Lisp (matheusmoreira.com)
1
Gosentry: Fuzz Golang with LibAFL (trailofbits.com)
1
Making cross-platform SIMD code pleasant (bkaradzic.github.io)
1
Acme CA Comparison (poshac.me)
1
Stop MitM on the first SSH connection with cloud-init (joachimschipper.nl)
2
(Un)portable defer in C (antonz.org)
5
Understanding Wi-Fi 4/5/6/6E/7/8 (802.11 n/AC/ax/be/bn) (wiisfi.com)
2
The problem with counterfeit people. (paywall) (theatlantic.com)
4
A bidirectional typechecking puzzle in the Grace programming language (haskellforall.com)
1
Why every organization should make it easy to report security flaws (weekinsecurity.com)
2
Broadcasting GPS on the Local Network (evertpot.com)
2
QuickHeap: A Fast Priority Queue (curiouscoding.nl)
1
What went into the machine and what came out: single-line fonts and engraving (205.tf)
2
Servers with Personality (caolan.uk)
4
Screw You Realtek (growse.com)
2
A grounded conceptual model for ownership types in Rust (acm.org)
2
Rust clippy config should be stricter (emschwartz.me)
2
Specialization in Stable Rust (goldstein.lol)
2
Cross-site scripting vulnerabilities lead to a RIPE NCC RPKI exploit chain (mxsasha.eu)
2
Terry Pratchett's Discworld, by those who knew him (inews.co.uk)
3
X.400 Addresses Are Ugly (alvestrand.no)
2
Height hunt: a quest to find and visit every possible low bridge / height restri (adamtownsend.com)
2
Is Email Confidential in Transit Yet? (alexsci.com)
1
From milliseconds to 26 nanoseconds: how a $20 eBay SFP module beat my NT (austinsnerdythings.com)
2
Removing the AUICGP instruction from CHERIoT RISC V (cheriot.org)
7
The longest train journey in the EU (jonworth.eu)
52
Jumping into cold water can stop your heart (jorgenmelau.substack.com)
3
Gecko: A fast GLR parser with automatic syntax error recovery (vnmakarov.github.io)
1
Cryptographic right answers: post quantum and Rust edition (kerkour.com)
1
An algorithmic reconstruction of normalisation by evaluation (yangzhixuan.github.io)
2
Garbage collection and the edge of safe Rust (kyju.org)
2
Using QUIC backscatter to infer hypergiant deployment configurations (apnic.net)
2
Performance of the Wren Programming Language (wren.io)
3
Jujutsu / jj megamerges for fun and profit (isaaccorbrey.com)
1
Ggsql: A SQL extension for declarative data visualisation based on the Grammar O (github.com/posit-dev)
1
Plotnine: Grammar of Graphics for Python (plotnine.org)
9
Verus is a tool for verifying the correctness of code written in Rust (verus-lang.github.io)
1
Vega-lite: a high-level grammar of interactive graphics in JavaScript (vega.github.io)
1
Generating random numbers using C++ standard library: the problems (codingnest.com)
2
Running modern code on a 1960s UNIVAC computer via a RISC V emulator (farlow.dev)
3
Practical Antiforgery in Software Design (hudlow.org)
2
Fixing DNS tail latency with a 5-line config and a 50-line function (numa.rs)
1
Let sleeping CPUs lie: S0ix (freebsdfoundation.org)
3
Rationale for the design of the Ada programming language (acm.org)
15
SI Units for Request Rate (2024) (entropicthoughts.com)
1
Retrofitting JIT compilers into C interpreters (tratt.net)
1
Uses for Nested Promises in JavaScript (jcoglan.com)
1
Usand: Minimal Unshare(1)-Based Sandbox (github.com/richfelker)
1
Rust should have stable tail calls (trifectatech.org)
2
Leibniz on Binary [pdf] (scispace.com)
1
Debloat Your Async Rust (tweedegolf.nl)
2
Running Ada Lovelace's program to calculate Bernoulli numbers (enigmaticcode.wordpress.com)
2
Gutd: eBPF WireGuard Traffic Obfuscator (github.com/sh0rch)
1
Ronja: Optical point-to-point data link with 1.4km range and 10Mbps full duplex (twibright.com)
2
Git fixup is magic (and Magit is too) (arialdomartini.github.io)
1
The acyclic e-graph: Cranelift's mid-end optimizer (cfallin.org)
2
Callgraph analysis in Ferrocene for denying unvalidated Rust library functions (ferrous-systems.com)
64
Supply chain nightmare: How Rust will be attacked and what we can do to mitigate (kerkour.com)
1
Instant space switching on macOS with a keyboard shortcut (github.com/andrewyur)
1
Incremental Lambda Calculus (inc-lc.github.io)
1
Why would you want a 64 bit microprocessor, especially in a personal system? (19 (bourguet.org)
6
Some Better Defaults for Emacs (sr.ht)
1
1SubML: Plan vs. Reality (polybdenum.com)
1
HTML for People (htmlforpeople.com)
1
Optimising a pipelined RISC-V core: from naive pipeline to near-superscalar perf (mummanajagadeesh.github.io)
1
Factoring is not a good benchmark to track Q-day (westerbaan.name)
3
Roogle: a Rust API search engine (github.com/roogle-rs)
3
Landdown: Simple Sandboxing for Shell Scripts (sr.ht)
2
Hardware-accelerated ARM64 KVM guests on s390 (kernel.org)
1
The 1SubML Programming Language (github.com/storyyeller)
2