The Clowder Project
golem.ph.utexas.edu·1d
📡Feed Archaeology
EPYTEST_PLUGINS and other goodies now in Gentoo
blogs.gentoo.org·17h
⚡Proof Automation
Reading List 07/26/25
construction-physics.com·19h
🖥️Modern Terminals
Just Like a Human
blog.raymond.burkholder.net·5d
🖥️Terminal Renaissance
UC Irvine scientists discover new state of quantum matter
news.uci.edu·2d·
Discuss: Hacker News
⚛️Quantum Archives
Why AI chatbots lie to us | Science
science.org·2d·
Discuss: Hacker News
🌍Cultural Algorithms
Everything I've Learned so far About OpenAI's Agents
leonfurze.com·11h·
Discuss: Hacker News
🔓Open Source Software
Self-Driving Postgres
postgres.ai·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
I Made Doom Run Inside a QR Code and Wrote a Custom Compression Algorithm for It
old.reddit.com·15h·
Discuss: r/computerscience
🎮Game Decompilation
Template for evaluating vibe coding in an enterprise
builder.io·1d·
Discuss: Hacker News
📏Code Metrics
Notes from the bottom of the sea
markjgsmith.com·3d
💾Persistence Strategies
Try These Logic Puzzles from the International Logic Olympiad
scientificamerican.com·5d
📚Proof Pedagogy
AI as Profoundly Abnormal Technology
blog.ai-futures.org·3d·
Discuss: Hacker News
🔲Cellular Automata
Court Battles Spark an Unexpected AI Movement: Fairness by Design
hackernoon.com·3d
🌊Stream Processing
⚡ The 5-minute routine that changed everything:
dev.to·38m·
Discuss: DEV
⭐Awesome lists
LLM Meets the Sky: Heuristic Multi-Agent Reinforcement Learning for Secure Heterogeneous UAV Networks
arxiv.org·3d
🤐Secure Multiparty
Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning
arxiv.org·3d
⚔️Lean Tactics
Can External Validation Tools Improve Annotation Quality for LLM-as-a-Judge?
arxiv.org·3d
✨Effect Handlers
Comparison of Optimised Geometric Deep Learning Architectures, over Varying Toxicological Assay Data Environments
arxiv.org·2d
🧠Machine Learning
I created a motivational AI life coach with Character.ai – here’s what happened
techradar.com·15h
🎙️Whisper