Scholarship, Hackathons, and Swahili Words: Wikimania 2025 Through My Eyes
diff.wikimedia.orgยท1d
๐ŸŒCultural Algorithms
Getting a Hypergraph of Functions to a Browser
systeminit.comยท2dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Building Frontier Open Intelligence
reflection.aiยท2dยท
Discuss: Hacker News
๐Ÿ Homelab Federation
Hardware Vulnerability Allows Attackers to Hack AI Training Data โ€“ NC State News
news.ncsu.eduยท1dยท
Discuss: Hacker News
๐Ÿ”RISC-V Cryptography
Paper2Agent: Research Papers as Interactive AI Agents
huggingface.coยท1dยท
Discuss: Hacker News
๐Ÿค–AI Curation
Metascience Since 2012: A Personal History
goodscience.substack.comยท13hยท
Discuss: Substack
๐ŸŽ“Academic Torrents
Haskell Weekly Issue 493
haskellweekly.newsยท3dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
JavaScript Library Runs Machine Learning Models in Browser
thenewstack.ioยท3d
๐ŸŽตAudio ML
Ditch the Monolith: Build Scalable AI Teams with Solace Agent Mesh
dev.toยท1dยท
Discuss: DEV
๐ŸงฑImmutable Infrastructure
Building on vibes: Lessons from three years with LLMs
world.hey.comยท3dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Vector Forensics
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.caยท1dยท
Discuss: Hacker News
โšกProof Automation
Datacurve raises $15 million to take on ScaleAI
techcrunch.comยท2d
๐Ÿค–AI Curation
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.orgยท2d
๐Ÿ”—Parser Combinators
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Prompt Injection 2.0: The New Frontier of AI Attacks
dev.toยท16hยท
Discuss: DEV
๐ŸŽฏThreat Hunting
How I provide technical clarity to non-technical leaders
seangoedecke.comยท12h
โš™๏ธProof Engineering
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.orgยท5d
โšกProof Automation
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Concolic Testing