⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

pactropy 0.1 released
felipec.wordpress.com·3d·
Discuss: r/archlinux
🔗Topological Sorting
Show HN: I built a tool to help you quickly understand MBTI personality types
easymbti.org·2d·
Discuss: Hacker News
🧠Intelligence Compression
Building a Carbon and Price-Aware Kubernetes Scheduler [audio]
kube.fm·3d·
Discuss: Hacker News
🌊Streaming Systems
A Magnetized Needle and a Steady Hand (2016)
nullprogram.com·3d·
Discuss: Hacker News
🔧RISC-V Assembler
From Automation to Insight
oreilly.com·3d
📰Feed Readers
The Insider Story of Twilio
nfx.com·2d·
Discuss: Hacker News
❄️Nix Adoption
Building the Chiplet Ecosystem – By Austin Lyons
chipstrat.com·2d·
Discuss: Hacker News
🧲RISC-V Archaeology
AI SRE Needs More Than AI: It Needs Operational Context
rootly.com·2d·
Discuss: Hacker News
🌊Stream Processing
2026, Year of Reinforcement Learning?
aimlbling-about.ninerealmlabs.com·4d·
Discuss: Hacker News
🔲Cellular Automata
Optimizing Region of Interest Selection for Effective Embedding in Video Steganography Based on Genetic Algorithms
arxiv.org·4d
🕵️Steganographic Archives
Stabilization of BiCGSTAB by the generalized residual cutting method
arxiv.org·4d
📐Linear Algebra
SO-ARM-chan: Fusing Stack-chan's Soul with LeRobot's Body
hackster.io·2d
🇯🇵Japanese Computing
AI will create a near-term socioeconomic gap among knowledge workers
ericdodds.com·3d·
Discuss: Hacker News
🤖AI Curation
🚀 Synthetic Data: The Next Frontier for Data Engineers
dev.to·3d·
Discuss: DEV
🎓Academic Torrents
Researching with Agents
softwaredoug.com·5d·
Discuss: Hacker News
🔍Vector Forensics
Disentangling the Drivers of LLM Social Conformity: An Uncertainty-Moderated Dual-Process Mechanism
arxiv.org·2d
🧠Intelligence Compression
Unlock LLM Precision: Master Structured Output with Pydantic and Instructor
dev.to·6d·
Discuss: DEV
🧮Prolog Parsing
Nanophotonic Phase-Change Material Optimization for 50GHz Optical Switching in Data Centers
dev.to·21h·
Discuss: DEV
🔬Optical Physics
Enhanced Lattice Vibration Characterization via Dynamic Modal Analysis and Adaptive Filtering
dev.to·1d·
Discuss: DEV
🌊Digital Signal Processing
Show HN: Pluely v0.1.1 – OSS Cluely alternative with custom/local LLM support
github.com·3d·
Discuss: Hacker News
🌀Brotli Internals