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Β·
πŸ‘‘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Β·
πŸ”—Dependently Typed
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