⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

A DNS Exploration of the Latest Educated Manticore Attack
circleid.com·1h
🛣️BGP Hijacking
The 90s UNIX Utility That Fell Out of Favour
blog.alexellis.io·10h
📟Terminal Forensics
Using lasers to bring crystal vibrations to their quantum ground state
phys.org·2h
⚛️Quantum Tape
The AI-powered network holds the key to combatting business complexity
the-independent.com·3h
🕸️Mesh Networking
How We Chose a Documentation Platform for Our DevTool
metalbear.co·1d·
Discuss: Hacker News
🔄Reproducible Builds
simonw/codespaces-llm
simonwillison.net·2d·
Discuss: Hacker News
λLambda Formalization
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
Enhanced Microbial Community Dynamics Prediction via Multi-Modal Graph Neural Networks (MMGNN)
dev.to·1h·
Discuss: DEV
🌀Hyperbolic Geometry
Unlocking enhanced legal document review with Lexbe and Amazon Bedrock
aws.amazon.com·2d
🔄Sync Engine
Fine-Tuning LLaMA in 5 Minutes with Unsloth - Unrivaled Speed & Simplicity
dev.to·2d·
Discuss: DEV
⚡Performance Mythology
AI-First Development: 95% Autonomous Code Generation
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms
Forget Perimeters: Here’s How Context Is Redefining Cloud Security
hackernoon.com·11h
🖥️Self-hosted Infrastructure
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
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.org·3d
⚡Circuit Design
BiXSE: Improving Dense Retrieval via Probabilistic Graded Relevance Distillation
arxiv.org·3d
🔍Information Retrieval
Advanced Wear Characterization via Multi-Scale Bayesian Optimization of Surface Texturing
dev.to·11h·
Discuss: DEV
⚙️Tape Engineering
Learning to Defer in Congested Systems: The AI-Human Interplay
arxiv.org·1d
🧠Machine Learning