⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Mastering the Channel Ecosystem — Lessons From our BlackHat Panel
raffy.ch·1d
❄️Nix Adoption
Song recommendations with free monads
blog.ploeh.dk·5d
🐚Shell Monads
Vibe Coding 7 -- Human in the Loop as a dspy.Tool
joelgrus.com·2d
🔗Concatenative Programming
Google Jules is Vulnerable To Invisible Prompt Injection
embracethered.com·1d
🔓Hacking
Margaret Boden, Philosopher of Artificial Intelligence, Dies At 88
slashdot.org·20h
🔲Cellular Automata
Citybound: City building game, microscopic models to vividly simulate organism
aeplay.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Say No to Venn Diagrams When Explaining JOINs (2016)
blog.jooq.org·2d·
Discuss: Hacker News
🧮Datalog
Auditing AI
wryco.com·4d·
Discuss: Hacker News
🔲Cellular Automata
OWASP Agentic AI CTF — FinBot DEMO: Goal Manipulation
infosecwriteups.com·2d
🏠Homelab Pentesting
How I Went From Chartered Accountant to QA Engineer in the UK
hackernoon.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Show HN: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code
github.com·1d·
Discuss: Hacker News
🚀Indie Hacking
HyperKD: Distilling Cross-Spectral Knowledge in Masked Autoencoders via Inverse Domain Shift with Spatial-Aware Masking and Specialized Loss
arxiv.org·2d
🧠Machine Learning
Neural Network-Based Detection and Multi-Class Classification of FDI Attacks in Smart Grid Home Energy Systems
arxiv.org·1d
🔍Vector Forensics
I’m Building a Local, Multi-Layer AI Assistant — Starting with Kai Lite (Week 1)
dev.to·13h·
Discuss: DEV
🎙️Whisper
Vibe Coding: Why AI-Powered Development Is Reshaping Software Creation
dev.to·11h·
Discuss: DEV
📏Code Metrics
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·2d·
Discuss: DEV
📏Code Metrics
Topos Causal Models
arxiv.org·3d
🕸️Algebraic Topology
The brink of new AI standard
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
What Medieval People Got Right About Learning (2019)
scotthyoung.com·2d·
Discuss: Hacker News
📚Proof Pedagogy
AI-Driven Biomarker Discovery via Multi-Modal Data Fusion & HyperScore Validation
dev.to·1d·
Discuss: DEV
🔍Vector Forensics