⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Show HN: Chrome-site-stats – Track, limit, and optimize your browsing time
chromewebstore.google.com·3d·
Discuss: Hacker News
🗜️LZW Variants
I visited Europe for the first time and saw 11 countries in one month. I wish I'd done these 5 things differently.
businessinsider.com·5h
⭐Awesome lists
A'ja Wilson's incredible season earns her a second straight AP Player of the Year award
the-independent.com·1h
📰Feed Readers
SK hynix edges out rivals with first-to-market HBM4 chips for Nvidia and others
techspot.com·3h
⚙️Nordic Assembly
When Monitoring Breaks Your Front End Performance
differentshelf.com·3d·
Discuss: Hacker News
👁️Observatory Systems
DCP-o-matic • Re: Color Space and Gamma when exporting From Davinci Resolve
dcpomatic.com·7h
🖼️JPEG XL
The risks of cognitive offloading [to AI]
siliconangle.com·3d·
Discuss: Hacker News
⚖️Emulation Ethics
FFmpeg 7.0+ LADSPA Filter Arbitrary Shared Object Loading via Unsanitized Environment Variables
seclists.org·3d
🎬ffmpeg
By working together, cells can extend their senses beyond their direct environment
phys.org·1h
🔲Cellular Automata
A Look at Not an Android Emulator
hackaday.com·2d
🎮Vintage Gaming
The journey to complete the docker+kubernetes pair
dev.to·3d·
Discuss: DEV
📦Container Security
Accelerate your model training with managed tiered checkpointing on Amazon SageMaker HyperPod
aws.amazon.com·3d
🛡️Byzantine Fault Tolerance
Charles the Obscure, The one you never heard of, but should have.
pballew.blogspot.com·12h·
Discuss: www.blogger.com
📐Mathematical Art
MLP-SRGAN: A Single-Dimension Super Resolution GAN using MLP-Mixer
arxiv.org·4d
🧠Neural Codecs
HuMo: Human-Centric Video Generation via Collaborative Multi-Modal Conditioning
arxiv.org·1d
🧠Learned Codecs
Show HN: I made a terminal UI to manage parallel async Claude Code/Codex agents
github.com·4d·
Discuss: Hacker News, r/compsci
🦀Rust Macros
Adaptive Parameter Modulation via Hybrid Reinforcement Learning & Spectral Analysis for Efficient System Control
dev.to·4d·
Discuss: DEV
📡Tape Modulation
Eaton Corporation Plc (ETN) Presents At Morgan Stanley's 13th Annual Laguna Conference (Transcript)
seekingalpha.com·18h
🔌Interface Evolution
Skai uses Amazon Bedrock Agents to significantly improve customer insights by revolutionized data access and analysis
aws.amazon.com·3d
🌊Streaming Systems
The Top 7 AI Tools of 2025 That Will Revolutionize Digital Marketing
dev.to·3d·
Discuss: DEV
📊Feed Optimization