What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·2d
⚔️Lean Theorem
"Not created by man"
languagelog.ldc.upenn.edu·3d
🧮Prolog Parsing
How twiddling enshittifies your brain
doctorow.medium.com·15h
⚖️Emulation Ethics
Brain Performance
blog.dianazink.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
LLMs can now identify public figures in images
minimaxir.com·14h·
Discuss: Hacker News
🏛Digital humanities
An engineer's perspective: Why everything feels broken and what can we do
tushardadlani.com·7h·
Discuss: Hacker News
🛡️Error Boundaries
Compressed Sensing
en.wikipedia.org·8h·
Discuss: Hacker News
📐Compression Mathematics
Generative AI. "Slop Generators, are unsuitable for use [ ]"
asahilinux.org·1d·
Discuss: Hacker News
⚙️Parser Generators
Hello Sprout
daniel.haxx.se·1d·
Discuss: Hacker News
🔌Operating system internals
Implementing Merkle Trees in Go
vaktibabat.github.io·4d
🌳Archive Merkle Trees
Microsoft just turned Edge into a futuristic voice-controlled AI browser using Copilot, and now I’m wondering why it took so long
techradar.com·17h
🖥️Modern Terminals
We Revamped Our Docs for AI Driven Development
docs.freestyle.sh·2d·
Discuss: Hacker News
🤖Archive Automation
haskell/win32
github.com·9h
🔗Functional Compilers
Cling – Instant fuzzy find any file on macOS
github.com·9h·
Discuss: Hacker News
🛠️Greaseweazle
From Chaos to Clarity: Help Us Build an Open-Source Brainstorm Engine
dev.to·15h·
Discuss: DEV
🔄Language Evolution
The Polymath Tool for All Your Audio and Document Needs
dev.to·3d·
Discuss: DEV
🎙️Whisper
Style-Aware Blending and Prototype-Based Cross-Contrast Consistency for Semi-Supervised Medical Image Segmentation
arxiv.org·6h
📊Learned Metrics
SkinDualGen: Prompt-Driven Diffusion for Simultaneous Image-Mask Generation in Skin Lesions
arxiv.org·6h
🤖Advanced OCR
How I Connected Claude to Maven Central (And Why You Should Too)
dev.to·2d·
Discuss: DEV
🔗Topological Sorting
Use LLamaIndex Workflow to Create an Ink Painting Style Image Generation Workflow
dev.to·2d·
Discuss: DEV
📜Manuscript Workflows