⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Exploring Accessibility at U-M Libraries: Lessons from the 2023 Library Campus Survey
blogs.lib.umich.edu·1h
📚MARC Evolution
The 90s UNIX Utility That Fell Out of Favour
blog.alexellis.io·13h
📟Terminal Forensics
Football Daily | A new Premier League season rolls off the assembly line with subplots galore
theguardian.com·5h
📰RSS Archaeology
Using lasers to bring crystal vibrations to their quantum ground state
phys.org·5h
⚛️Quantum Tape
MLS: The Naked King of End-to-End Encryption
poberezkin.com·3d·
Discuss: Hacker News
🔐Archive Encryption
My attempt at replacing cloud services
i.redd.it·1d·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
How We Chose a Documentation Platform for Our DevTool
metalbear.co·1d·
Discuss: Hacker News
🔄Reproducible Builds
Lambdas, Nested Functions, and Blocks
thephd.dev·3d·
Discuss: Lobsters, Hacker News, r/C_Programming
🐚Shell Combinators
Empowering students with disabilities: University Startups’ generative AI solution for personalized student pathways
aws.amazon.com·1d
🗺️Competency Maps
The Dark Side of “AI Productivity”: How It Trains You to Be Replaceable
hackernoon.com·1d
⚡Proof Automation
Software Engineering Laws - Design & UX
leadership.garden·1d
🎨Nordic UX
Software Engineering Laws - Metrics & Monitoring
leadership.garden·1d
📏Code Metrics
Unlocking Scalability: A Deep Dive into Mixture of Experts (MoE) for Modern LLMs
dev.to·3d·
Discuss: DEV
🧠Intelligence Compression
BiXSE: Improving Dense Retrieval via Probabilistic Graded Relevance Distillation
arxiv.org·3d
🔍Information Retrieval
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.org·3d
⚡Circuit Design
Enhanced Microbial Community Dynamics Prediction via Multi-Modal Graph Neural Networks (MMGNN)
dev.to·5h·
Discuss: DEV
🌀Hyperbolic Geometry
Unlocking enhanced legal document review with Lexbe and Amazon Bedrock
aws.amazon.com·3d
🔄Sync Engine
AI-First Development: 95% Autonomous Code Generation
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms
Advanced Wear Characterization via Multi-Scale Bayesian Optimization of Surface Texturing
dev.to·14h·
Discuss: DEV
⚙️Tape Engineering
Learning to Defer in Congested Systems: The AI-Human Interplay
arxiv.org·1d
🧠Machine Learning