⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Red vs. Black
yegor256.com·1d
🔐Soviet Cryptography
Upcoming Talks at PGConf.EU and PyCon Sweden
tselai.com·2d
🗃️Nordic Databases
This free and open-source app runs any Windows app on Linux with ease
xda-developers.com·2d
🔌Operating system internals
Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·4d·
Discuss: Hacker News
✨Effect Handlers
Belzebub.ai: AI Deception Platform
beelzebub.ai·5d·
Discuss: Hacker News
🚀Indie Hacking
The (Dubios) Value of Taking Notes
foolsconfession.blogspot.com·4d·
Discuss: Hacker News
📚Documentation Archaeology
Dining across the divide: ‘He mentioned this chap called Jordan Peterson. I thought he was a cricketer!’
theguardian.com·1d
📝ABNF Parsing
Draw it with your eyes closed: the art of the statistics assignment
statmodeling.stat.columbia.edu·2d
📐Mathematical Art
1130 MRAM board - failed chips identified and replaced
rescue1130.blogspot.com·23h·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
2025 Emmy Awards: 'Adolescence' and 'The Studio' expected to win big
lemonde.fr·19h
🏛Digital humanities
Embedding Atlas: The Ultimate Tool for Visualizing Large Embeddings
dev.to·5d·
Discuss: DEV
🗂️Vector Databases
Is AI a threat to our current encryption standards?
techradar.com·4d
🔐Quantum Security
LIGO Legacy: 10 incredible gravitational wave breakthroughs to celebrate observatory's landmark 2015 find
space.com·1d
⏰Time Crystals
Ark v0.5.0 Released — A Minimal, High-Performance Entity Component System (ECS) for Go
reddit.com·5d·
Discuss: r/golang
🌊Apache Kafka
Oldcastle accelerates document processing with Amazon Bedrock
aws.amazon.com·5d
🤖Archive Automation
On This Day in Math - September 10
pballew.blogspot.com·5d·
Discuss: www.blogger.com
🔲Cellular Automata
GraphicConverter 12.4.2
tidbits.com·3h
🔠Terminal Fonts
Angular with Jessica Janiuk
softwareengineeringdaily.com·4d
🔩Systems Programming
Offering Kubernetes/DevOps help free of charge
reddit.com·4d·
Discuss: r/kubernetes
📦Container Security
Python and JSON: Your Guide to Speaking the Web's Language
dev.to·4d·
Discuss: DEV
📝Concrete Syntax