⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Why Arsenal are ready to win the league as stakes rise for Arteta
bbc.com·5h
⚡Proof Automation
Implementing an ikiwiki subset in Rust
blog.liw.fi·2d
🦀Rust Macros
What are the real numbers, really? (2024)
infinitelymore.xyz·2d·
Discuss: Hacker News
🏗️Constructive Mathematics
Architecting for AI Success: Transforming Your Information Ecosystem for Gen AI
info.aiim.org·2d
🌊Stream Processing
ChatGPT could be ruining our lives – and not in the way you think
the-independent.com·7h
🔓Hacking
Good Justifications Write Themselves
oblique.security·5d·
Discuss: Hacker News
🔐Capability Systems
I built ad-hoc analytics service with Reveal
vlaaad.github.io·4d·
Discuss: Hacker News
📊Dependency Graphs
Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity
osec.io·5d·
Discuss: Hacker News
🔒Type Safety
RealDefense Opens $10M Fund to Help OEMs Monetize Installs With SmartScan Cybersecurity SDK
darkreading.com·1d
🛡️ARM TrustZone
Copado Extends AI Reach to Surface Relationships Between Salesforce Code
devops.com·1d
🔗Supply Chain
Agentic Container Security with Snyk MCP Server
dev.to·3d·
Discuss: DEV
📦Container Security
BiasGym: Fantastic Biases and How to Find (and Remove) Them
arxiv.org·4d
🧠Intelligence Compression
STELAR-VISION: Self-Topology-Aware Efficient Learning for Aligned Reasoning in Vision
arxiv.org·4d
💻Local LLMs
The 10 Ethical Risks of AI in Testing
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Unlocking Robust Semantic Segmentation Performance via Label-only Elastic Deformations against Implicit Label Noise
arxiv.org·2d
🌀Riemannian Computing
Automated Dynamic Characterization of SARS-CoV-2 Spike Protein Corona Dynamics via Hyperdimensional Feature Space Analysis
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Execute Python Scripts via BLE Using BleuIO
hackster.io·3d
🪟Awesome windows command-line
The Right Kind of AI for Infrastructure as Code
devops.com·3d
👁️Observatory Systems
Automated Defect Classification in Wafer Fabrication via Multi-Modal Data Fusion and Graph Neural Networks
dev.to·4d·
Discuss: DEV
📄Document Digitization
Building a Production-Ready Weather MCP Server with Clean Architecture, Redis Cache, and SOLID Principles | Complete Guide
dev.to·3d·
Discuss: DEV
🔌Interface Evolution