Last Week on My Mac: Why Spotlight can’t find some files
eclecticlight.co·20h
🍎Apple Archive
Flag this post
Specifications like temporal logic but with ordinary mathematics
yodaiken.com·2d
📄PostScript
Flag this post
Thinking Clearly
lemire.me·13h
🔬Lean
Flag this post
Promise for an Honor
rtnf.substack.com·1d·
Discuss: Substack
🔤Unicode Normalization
Flag this post
New OSM file format: 30% smaller than PBF, 5x faster to import
community.openstreetmap.org·2d·
Discuss: Hacker News
💾Database Formats
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.edu·1d·
Discuss: Hacker News
💻CS
Flag this post
Language records reveal a surge of cognitive distortions in recent decades
pnas.org·14h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
The Owl, the Scientific Method, and Claude Code: A Debugging Story
vsevolod.net·3d·
Discuss: Lobsters, Hacker News
👑Isabelle
Flag this post
Valgrind 3.26 Released
sourceforge.net·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
I stopped looking for a single perfect AI coder and combined a web UI and CLI
xor01.substack.com·12h·
Discuss: DEV, Substack
⚔️Lean Tactics
Flag this post
olmOCR 2: Unit test rewards for document OCR
allenai.org·4d·
Discuss: Hacker News
👁️OCR Enhancement
Flag this post
Distributed pipelines for handling PBs of image data
amplifypartners.com·3d·
Discuss: Hacker News
🤖Archive Automation
Flag this post
How ChatGPT Was Made: Behind the Scenes of a Large Language Model
dev.to·9h·
Discuss: DEV
🤖Grammar Induction
Flag this post
Concrete types yield better maintainability
alejo.ch·1d·
Discuss: Hacker News, r/programming
🔗Dependently Typed
Flag this post
Digital Permission Structures: How Celebrity Disclosure Enables Black Masculine Vulnerability in Online Mental Health Discourse
arxiv.org·32m
🏛Digital humanities
Flag this post
VENI, VINDy, VICI: a generative reduced-order modeling framework with uncertainty quantification
arxiv.org·32m
✨Effect Handlers
Flag this post
Few-Shot Knowledge Distillation of LLMs With Counterfactual Explanations
arxiv.org·32m
💻Local LLMs
Flag this post
A visual big data system for the prediction of weather-related variables: Jordan-Spain case study
arxiv.org·32m
🌀Differential Geometry
Flag this post
Agentic Debugging with Time Travel: The Architecture of Certainty
dev.to·3h·
Discuss: DEV
👁️System Observability
Flag this post
Urban 3D Change Detection Using LiDAR Sensor for HD Map Maintenance and Smart Mobility
arxiv.org·32m
🏺Computational Archaeology
Flag this post