1
1
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 (abhamra.com)
4
UnifyBio: Power Tools for Translational Data Science – Benjamin Kamphaus [video] (youtube.com)
2
The Polyglot NixOS (x86.lol)
1
Business SLOs (medium.com/haagwee)
2
Exposing Game Servers over Tailscale (chameth.com)
3
Unix v4 Tape (discuss.systems)
2
A visualizer for BPF program state (lwn.net)
3
What do people love about Rust? (rust-lang.org)
1
A List of Books to Learn Programming with Ruby and Rails (2023) (writesoftwarewell.com)
2
The lightest notes app implementation (medv.io)
17
The scariest boot loader code (online.fr)
1
Pi 5 NAS with Custom Carbon Fibre Panels, Made on the Makera Z1 (the-diy-life.com)
1
Help my website is too small (lukeplant.me.uk)
3
Dismantling Defenses: Trump 2.0 Cyber Year in Review (krebsonsecurity.com)
1
LeaseGuard: Raft Leases Done Right (emptysqua.re)
1
When Scope Lies: The Wildcard Pattern Drop Footgun in Rust (obeli.sk)
1
Go ahead, self-host Postgres (pierce.dev)
2
Generate and play music playlists on Apple music (github.com/gntousakis)
1
Reinventing the dial-up modem (2019) (saket.me)
1
Porting a complete HTML5 parser and browser test suite [from Python to OCaml us (recoil.org)
1
A Testing Conundrum (nedbatchelder.com)
1
2026 Demo Day Dates (ycombinator.com)
54
How to hack Discord, Vercel and more with one easy trick (kibty.town)
1
Stop Losing Intent: Absent, Null, and Value in Rust (minikin.me)
1
Hardware-Attested Nix Builds (garnix.io)
2
Dear ACM, you're doing AI wrong but you can still get it right (recoil.org)
16
Microsoft kills IntelliCode in favor of the paid Copilot (visualstudiomagazine.com)
1
Interactive Fluid Typography (electricmagicfactory.com)
6
Ringspace: A proposal for the human web (taggart-tech.com)
1
Secure Local Configuration in Kakoune (ficd.sh)
1
Selective Applicative Functors (veritates.love)
96
Yep, Passkeys Still Have Problems (blackhats.net.au)
1
How Twitter is (probably) crawling the Internet for AI (kitsunemimi.pw)
40
Log level 'error' should mean that something needs to be fixed (utcc.utoronto.ca)
2
The Wrong Question About Type Systems (furkan3ayraktar.github.io)
1
A Survey of Dynamic Array Structures (azmr.uk)
1
Keeping secrets, or (less than two weeks ago) (kellett.im)
3
Kris: Cross-compile Janet projects with Zig (github.com/pyrmont)
1
KDE Ni OS Is a Playful Take on Immutable Linux Built on NixOS (linuxiac.com)
1
Qjp – turn any JSON file into a quick TUI menu (github.com/plainas)
1
Minimum Viable Benchmark (For Evaluating LLMs) (nilenso.com)
1
Building a WASM Runner with Cloud Hypervisor (burakemir.ch)
2
Adventures in the Land of Language Servers (speakerdeck.com)
3
FreeBSD Adopting a Port: Maomao (evilham.eu)
3
Vm.overcommit_memory=2 is always the right setting (ariadne.space)
2
Determinate Nix 3.0 (determinate.systems)
1
File d'attente – file-based job queue (sr.ht)
2
Maybe consider putting cutlass in your CUDA/Triton kernels (maknee.github.io)
5
Most Parked Domains Now Serving Malicious Content (krebsonsecurity.com)
2
Normals_revisited: Revisiting a known normal transformation in computer graphic (github.com/graphitemaster)
3
Nemotron 3 Nano Technical Report [pdf] (nvidia.com)
3
Optimization Countermeasures (mcyoung.xyz)
6
November in Servo: monthly releases, context menus, parallel CSS parsing, and m (servo.org)
3
Global Known_hosts for SSH Services (knownhosts.net)
1
Single-Pass Huffman Coding (doisinkidney.com)
4
Torvalds on Linux Security Modules (phoronix.com)
1
Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
4
I'm Just Having Fun (jyn.dev)
1
An Expression Language for Vixen (raku-advent.blog)
16
Liskell – Haskell Semantics with Lisp Syntax [pdf] (endorphin.org)
1
TLA+ Modeling Tips (muratbuffalo.blogspot.com)
1
IronFleet: Proving Practical Distributed Systems Correct [pdf] (cmu.edu)
1
Hacking Endpoint to Identity: "ConsentFix" [video] (youtube.com)
4
Virtualizing Nvidia HGX B200 GPUs with Open Source (ubicloud.com)
7
Key Transparency for the Fediverse (soatok.blog)
1
Stopping systemd services under memory pressure (cyplo.dev)
173
Carrier Landing in Top Gun for the NES (relaxing.run)
1
Rust's v0 mangling scheme in a nutshell (purplesyringa.moe)
2
System Observability: Metrics, Sampling, and Tracing (entropicthoughts.com)
3
The World Is Not a Desktop (1994) (acm.org)
2
The <time> element should do something (nolanlawson.com)
4
AI URI Scheme Internet-Draft (ietf.org)
1
Postfix Macros and Let Place (nadrieril.github.io)
1
Baseline: Operation-Based Evolution and Versioning of Data (arxiv.org)
2
Hyper-Util Composable Pools (seanmonstar.com)
1
A basic implementation of a virtual continuum fingerboard (awalgarg.me)
2
Tier list of Linux security mechanisms (2024) (ce9e.org)
1
Improved My Feedreader's Writing to the Web (zylstra.org)
1
Acme Device Attestation Extension (ietf.org)
2
Myna v2.0 Beta: supports bold, italic, contextual alternates, and even APL prog (github.com/sayyadirfanali)
3
ClickHaskell 1.0.0 Is Out (github.com/kovalevdima)
2
A unscientific guide to the security of various PQC algorithms (keymaterial.net)
4
From profiling to kernel patch: the journey to an eBPF performance fix (rovarma.com)
2
Myna v2.0: contextual variants, more weights (and even supports APL) (github.com/sayyadirfanali)
1
Faster Double-to-String Conversion (vitaut.net)
15
What is a build system, anyway? (jyn.dev)
3
Using Nvi as a Minimal and Fast Text Editor (sr.ht)
2
Rich Headers: leveraging this mysterious artifact of the PE format (virusbulletin.com)
1
OSS Friday Update – Fibers Are the Future of Ruby (noteflakes.com)
1
Color Spaces, Gamuts, and Transformations (ari-atori.dev)
1
Cycle-accurate YM2149 PSG emulator (github.com/slippyex)
23
The Coming Need for Formal Specification (benjamincongdon.me)
3
Post-Quantum Cryptography on CHERIoT (cheriot.org)
57
Security issues with electronic invoices (secvuln.info)
2
My Python setup, December 2025 (chrisamico.com)
3
YOCaml a framework used to describe static site generator (yocaml.github.io)
47
Async DNS (tedunangst.com)
1
A Code Centric Journey into the Gleam Language [video] (youtube.com)
5