⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Stories from the SSI's Fellowship programme | Theresa
software.ac.uk·1d
📚MARC Evolution
Ask Language Log: "spends his/her/their time on"?
languagelog.ldc.upenn.edu·1d
⏱️Interval Parsing
From a Scary Moment to a Daring Moment: My Wikimedia Hackathon Experience
diff.wikimedia.org·2d
🏛Digital humanities
Sacrificing Humans for Insects and AI: A Critical Review
schwitzsplinters.blogspot.com·2d·
Discuss: www.blogger.com
🔲Cellular Automata
'What a race!' - Hunter Bell runs PB but denied win after thrilling finish
bbc.com·1d
💻Local first
A Choice of Giants
kriskowal.com·1d·
Discuss: Lobsters, Hacker News
🌐Web Standards
Programmable Web Apps
mleverything.substack.com·1d·
Discuss: Substack
🌐WASI
Gershwin: OS X-like desktop for BSD
github.com·16h·
Discuss: Hacker News
📟Terminals
Cheating is the least AI can do
vox.com·1d
🚀Indie Hacking
Dynamic Nanoscale Mapping of Immune Synapse Microdomains via Optogenetic Feedback Control
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Changed the case for no reason, but now I'm able to move it to a rack, just I'm a dumbass
reddit.com·1d·
Discuss: r/homelab
🎮Switch Archaeology
CardioMorphNet: Cardiac Motion Prediction Using a Shape-Guided Bayesian Recurrent Deep Network
arxiv.org·16h
🌀Riemannian Computing
EEGDM: Learning EEG Representation with Latent Diffusion Model
arxiv.org·16h
🧠Machine Learning
Anthropic warns that its Claude AI is being 'weaponized' by hackers to write malicious code
techradar.com·8h
🔓Hacking
Cut Complexity, Control Data: The Path To AI at Scale
thenewstack.io·2d
🏠Homelab Orchestration
How far should I go with security in my cluster?
reddit.com·2d·
Discuss: r/kubernetes
📦Container Security
On Zero-Shot Reinforcement Learning
arxiv.org·4d
🔲Cellular Automata
Logistic vs SVM vs Random Forest: Which One Wins for Small Datasets?
machinelearningmastery.com·4d
🧠Machine Learning
ChartMaster: Advancing Chart-to-Code Generation with Real-World Charts and Chart Similarity Reinforcement Learning
arxiv.org·3d
🧠Intelligence Compression
Quantifying Sycophancy as Deviations from Bayesian Rationality in LLMs
arxiv.org·3d
💻Local LLMs