Looking for Daybooks in the Archives
flickr.org·1h
🌳B-tree Archaeology
Towards a secret history of Voynichese gallows…
ciphermysteries.com·4d
🔐Cryptographic Archaeology
Gaslight-driven development
tonsky.me·16h
🎯Gradual Typing
Re-implementing the Nix protocol in Rust
tweag.io·2d·
Discuss: Hacker News
🔒Linear Types
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com·7h·
Discuss: Hacker News
🌀Brotli Internals
Ask HN: Help with GLSL Bi-Laplacian
news.ycombinator.com·3h·
Discuss: Hacker News
⟷Bidirectional Programming
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·2d·
Discuss: Hacker News
🔗Functional Compilers
Python Fundamentals: bounded typevar
dev.to·5d·
Discuss: DEV
⬆️Lambda Lifting
CodeJudgeBench: Benchmarking LLM-as-a-Judge for Coding Tasks
arxiv.org·1d
📏Code Metrics
Multiplicative Modular Nim (MuM)
arxiv.org·1d
🎞️Tape Combinatorics
🔍 GitHub Profile Finder – Built with Bolt
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
Langevin Flows for Modeling Neural Latent Dynamics
arxiv.org·12h
🧠Machine Learning
oapi-codegen v2.5.0 is out
github.com·22h·
Discuss: r/golang
📜Proof Carrying Code
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·2h·
Discuss: Hacker News
🦀Rust Borrowing
ClaritySpeech: Dementia Obfuscation in Speech
arxiv.org·1d
💿FLAC Archaeology
Spatial ModernBERT: Spatial-Aware Transformer for Table and Key-Value Extraction in Financial Documents at Scale
arxiv.org·1d
📋Document Grammar
A New Breed of Chatbots Are Quietly Changing Product Management
hackernoon.com·1d
🌀Brotli Internals
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·1d
🔢Denotational Semantics
Sandboxing AI - Extending AI Responsibly
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Structuring Radiology Reports: Challenging LLMs with Lightweight Models
arxiv.org·1d
💻Local LLMs