Deep Zionism
scottaaronson.blog·1h·
Discuss: Hacker News
🧫Cellular Automata
From a Scary Moment to a Daring Moment: My Wikimedia Hackathon Experience
diff.wikimedia.org·1d
👐Open Source Software
How we built an AI-Powered custom invoice service in SeaNotes using Stripe, Resend and DigitalOcean Gradient
digitalocean.com·3d
🧩Theorem Proving
Running our Docker registry on-prem with Harbor
dev.37signals.com·1d·
Discuss: Hacker News
🦀Rust
I've always wanted to be an open-source maintainer- now I regret it
joaomagfreitas.link·1h·
Discuss: Hacker News
👐Open Source Software
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·2d·
Discuss: Hacker News
🦀Rust
Cactus Lets You Build LLM Powered Applications On Your Mobile Phone
i-programmer.info·3d·
Discuss: r/programming
🧭SMT Solvers
Clay Shirky: The Only Real Solution to the A.I. Cheating Crisis
nytimes.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Using Your Personal Philosophy to Make Yourself Virtuous
psychologytoday.com·3d
🔢Mathematical Logic
Type casting
dev.to·2d·
Discuss: DEV
🧠Memory Management
Species traits and landscape structure can drive scale-dependent propagation of effects in ecosystems
nature.com·1d
🧫Cellular Automata
Show HN: Web2mcp – Auto-generate an MCP for any web app
github.com·1d·
Discuss: Hacker News
🤝Protocol Design
Physics-Based Explainable AI for ECG Segmentation: A Lightweight Model
arxiv.org·3d
🎲Probabilistic Programming
Looking for contributors to start a new open-source project in C# (.NET 8, portfolio & beginner level)
reddit.com·2d·
Discuss: r/opensource
🔧Compiler Design
I built a database RAG for Claude that works in 3 lines of code
reddit.com·3d·
Discuss: r/ClaudeAI
⚖️Logic Programming
A Novel Framework for Uncertainty Quantification via Proper Scores for Classification and Beyond
arxiv.org·2d
🎲Probabilistic Programming
Political Ideology Shifts in Large Language Models
arxiv.org·3d
🔗Parser Combinators
Connor McDavid 'taking my time' to work out contract extension with Oilers
nytimes.com·1d
🧫Cellular Automata
Day 11: AI Analyzer Foundation Complete - Model Selection and Evidence Formatting
dev.to·3d·
Discuss: DEV
🔍Static Analysis
On the Edge of Memorization in Diffusion Models
arxiv.org·2d
🎲Probabilistic Programming