Status II
andyjohnson.uk·19h
📄Document Digitization
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·10h·
Discuss: Hacker News
📜Binary Philology
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·11h·
Discuss: DEV
🔤Character Classification
24M years of pollination between European linden flowers and bumble bees
nph.onlinelibrary.wiley.com·2d·
Discuss: Hacker News
🦴Binary Paleontology
A Manifesto for the Programming Desperado
github.com·16h·
Discuss: Hacker News
💻Programming languages
The Grid-Based Window Manager
reddit.com·13h·
Discuss: r/linux
🖥️Vintage Macintosh
Slip – A Lisp System in JavaScript
lisperator.net·18h·
Discuss: Hacker News
🔗Lisp
OCR vs ADE: Mechanisms Behind the Methods
dev.to·1d·
Discuss: DEV
📄OCR
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Why it took 4 years to get a lock files specification
snarky.ca·4h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Picking an AI Code Reviewer
markmarkoh.com·12h·
Discuss: Hacker News
📏Code Metrics
Building the Reasoning Engine at Axiom
axiommath.ai·12h·
Discuss: Hacker News
⚔️Lean Tactics
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·12h·
Discuss: DEV
⚡Incremental Computation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
The Day I Hacked XCTrack
blog.syrac.org·17h·
Discuss: Hacker News
🔐PKI Archaeology
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·23h·
Discuss: Hacker News
⚙️Proof Engineering
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·1d
📋Document Grammar
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·9h·
Discuss: Hacker News
⬌Bidirectional Typing
Laion, the dataset behind Stable Diffusion (2023)
deeplearning.ai·2h·
Discuss: Hacker News
🎓Academic Torrents