⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

NYC’s Favorite ‘Folk Sandwich’
atlasobscura.com·3h
📼Cassette Culture
Making of a Poem: Yongyu Chen on “Outpost”
theparisreview.org·1d
⬜Minimalism
Mastodon and Webbly
third-bit.com·1d
🚀Indie Hacking
Sallies
asemic-horizon.com·5d
🏗️Constructive Logic
LumaTeam/Luma3DS
github.com·1d
🎮Cartridge Dumping
Migrating to React Native's New Architecture
shopify.engineering·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Title: NFL Preseason Week 3 Takeaways: Who Will Make the Cut?
dev.to·15h·
Discuss: DEV
🧠Machine Learning
Title: Ross Stores Reports Another Sign of Consumer Demand for Discounts in Fall
dev.to·15h·
Discuss: DEV
📇Indexing Strategies
Alpic raises $6M to build the infrastructure for MCP servers
alpic.ai·23h·
Discuss: Hacker News
🌊Stream Processing
Desire in code: Legal perspectives on sex robots and consent
phys.org·1d
✋Tactile Computing
Sharing might be caring, but businesses are moving towards private servers
techradar.com·5h
🖥️Self-hosted Infrastructure
🚀 Introducing gofind – a blazing fast file finder in Go
dev.to·4d·
Discuss: DEV
🔍BitFunnel
SVG files used in hidden malware campaign impersonating Colombian authorities
securityaffairs.com·1d
🔓Hacking
Inference as a Service: Simplifying AI Model Deployment and Predictions
dev.to·4d·
Discuss: DEV
🔌Archive APIs
The Hidden Vulnerabilities of Open Source
fastcode.io·4d·
Discuss: Hacker News, Hacker News, r/linux, r/opensource, r/programming
🔓Hacking
PEZY-SC4s at Hot Chips 2025 – By Chester Lam
chipsandcheese.com·1d·
Discuss: Hacker News, Hacker News
⚡Homebrew CPUs
How to Implement Validation in Python Flask REST APIs
dev.to·2d·
Discuss: DEV
✅Format Verification
Guess what AI draws - AI powered small game needs your feedback
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Synack + Tenable: AI-Powered Partnership Translates Vulnerability Insights into Action
tenable.com·3d
🔓Hacking
Top 10 AI Tools You Should Know in 2025 (That Most Lists Miss)
dev.to·3d·
Discuss: DEV
⚖️Feed Ranking