Thanks to your support: three inspiring projects funded by the Friends of Wikimedia Fund
diff.wikimedia.orgยท6h
๐Ÿ›Wikidata
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.comยท2d
๐Ÿ“ŠVector Quantization
Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.comยท14hยท
Discuss: Substack
โฌœMinimalism
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.comยท1dยท
Discuss: Substack
๐Ÿ’ปProgramming languages
Adding lookbehinds to rust-lang/regex
systemf.epfl.chยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”RegEx Engines
A distributed systems reliability glossary
antithesis.comยท3dยท
Discuss: Lobsters, Hacker News, r/programming
โœ…Archive Fixity
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.ioยท3dยท
Discuss: Hacker News, r/programming
๐Ÿ›ก๏ธPreservation Proofs
The Conspiracy of Reason
medium.comยท3hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Unlock Geminiโ€™s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.comยท1dยท
Discuss: Hacker News
โšกProof Automation
[D] What are the knowledge background and skills needed to develop and contribute to projects like Unsloth?
reddit.comยท1hยท
Discuss: r/MachineLearning
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Autonomous AI Coding Agents - Boosting Developer Productivity
dev.toยท11hยท
Discuss: DEV
๐ŸŒณIncremental Parsing
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.comยท4dยท
Discuss: r/programming
โœ…Format Verification
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.orgยท1d
๐ŸŒณContext free grammars
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.orgยท11h
๐ŸŽฏPerformance Proofs
NonverbalTTS: A Public English Corpus of Text-Aligned Nonverbal Vocalizations with Emotion Annotations for Text-to-Speech
arxiv.orgยท11h
๐ŸŽ™๏ธWhisper
VITA: Vision-to-Action Flow Matching Policy
arxiv.orgยท11h
๐Ÿ”ฒCellular Automata
Introduction: AI Terminology
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Grammar Induction
Thesys React SDK: Turn LLM Responses into real time User Interfaces
dev.toยท1dยท
Discuss: DEV
๐ŸงฉWASM Components
I've been coding with AI for two years. Here is what I've learned
nathanpeck.comยท1dยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
The impact of different languages on our thinking and doing
languagelog.ldc.upenn.eduยท15h
๐Ÿ“ผTape Linguistics