Adding OCR support to the local translator
blog.davidv.dev·1d
⟷Bidirectional Programming
Historical highlights?
logicmatters.net·5d
🔀Category Theory
How OpenElections Uses LLMs
thescoop.org·1h·
Discuss: Hacker News
✏️OCR Correction
Just Found a Site That Auto-Writes Ebooks for You
genboox.com·1d·
Discuss: Hacker News
📄PDF Internals
AtCoder Finals Problem Statement
atcoder.jp·4d·
Discuss: Hacker News
🇯🇵Japanese Computing
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·3d
🔍RegEx Engines
What's happening to Matlab? Or, "The slow demise of the engineering toolbox"
blog.pictor.us·2d·
Discuss: Hacker News
🔩Systems Programming
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·6d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Iterative Isoscelizing
mathpages.com·1d·
Discuss: Hacker News
📐Mathematical Art
Show HN: Posthuman Framework for AI Consciousness Thresholds and VR Emancipation
kanarya.group·8h·
Discuss: Hacker News
🔲Cellular Automata
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
utkarshkanwat.com·1d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
[D] Signal/Info Processing Vs. ML Specializations in Master-Level Programs
reddit.com·2d·
Discuss: r/MachineLearning
🧠Machine Learning
AI Nexus Pro - Advanced AI-Powered Platform
dev.to·9h·
Discuss: DEV
🎬WebCodecs
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·3d·
Discuss: DEV
📐Vector Dimensionality
GPT-4.1 Beast Prompt
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·3d
💻Programming languages
Day 40: When Easy Stops Being Hard
dev.to·17h·
Discuss: DEV
⚔️Lean Tactics
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·3d
🌳Context free grammars
How to Talk to an AI 💻: A Beginner’s Guide to the OpenAI API
dev.to·6h·
Discuss: DEV
🎙️Whisper
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·2d
📊Learned Metrics