Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

F-35 Fighter Jet's C++ Coding Standards [pdf]

The power of proximity to coworkers [pdf]

Essential Semiconductor Physics [pdf]

Baseline: Operation-Based Evolution and Versioning of Data

The Big Vitamin D Mistake [pdf] (2017)

Advertising as a major source of human dissatisfaction (2019) [pdf]

Build Systems A La Carte (2018)

Berkshire Hathaway Announces Leadership Appointments [pdf]

Liskell – Haskell Semantics with Lisp Syntax [pdf]

BpfJailer: eBPF Mandatory Access Control [pdf]

A Sound of Thunder (1952) [pdf]

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers

Albert Michelson's Harmonic Analyzer (2014) [pdf]

DeepSeek-v3.2: Pushing the frontier of open large language models [pdf]

Formula One Handovers and Handovers From Surgery to Intensive Care (2008) [pdf]

Cloudspecs: Cloud Hardware Evolution Through the Looking Glass [pdf]

NRC Completes Safety Review of TerraPower Natrium [pdf]

IronFleet: Proving Practical Distributed Systems Correct

Nemotron 3 Nano Technical Report

The World Is Not A Desktop (1994)

WordPress plugin quirk resulted in UK Gov OBR Budget leak [pdf]

United States Antarctic Program Field Manual (2024) [pdf]

KJS: Formal JS Semantics + Interpreter

Cyber Resilience Act - Implementation

Unredacted Magazine Issue 008 SEP 2025

Converting complex PDF to JSON

pdf-sign – Adobe-compliant PDF signing with GPG Agent

Undisclosed Deaths in the Pfizer mRNA Covid-19 Vaccine Trial [pdf]

I embedded GROBID (a Java ML library) directly into Rust using GraalVM Native Image + JNI for scientific PDF parsing

Built semantic PDF search with sentence-transformers + DuckDB - benchmarked chunking approaches

More →