⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Crystal Kit
rastamouse.me·12h
🌐WASI
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.io·1d
🖥️Modern Terminals
PoC for Critical Lua Engine Vulnerabilities in Redis 7.4.5
redrays.io·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
Better vector search with graphs and spectral indexing
tuned.org.uk·1d·
Discuss: Hacker News
🗂️Vector Databases
Looking at kmalloc() and the SLUB Memory Allocator (2019)
ruffell.nz·20h·
Discuss: Hacker News
🧠Memory Allocators
Show HN: AI Finance App for Sale – $19,999 Negotiable(SaaS, Ready-to-Deploy)
sideprojectors.com·20h·
Discuss: Hacker News
🎬WebCodecs
Show HN: GitHub-native prediction markets using Issues (no DB)
news.ycombinator.com·16h·
Discuss: Hacker News
🌊Apache Kafka
Python 3.14 Has Arrived: A Deep Dive into the New Features
dev.to·1d·
Discuss: DEV
💻Programming languages
Beyond Words: Infusing Conversational Agents with Human-like Typing Behaviors
arxiv.org·3h
🎙️Whisper
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·3d
⚡Proof Automation
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·3d
🕵️Vector Smuggling
HLA-A*31:01-Associated Drug-Induced Stevens-Johnson Syndrome Prediction via Multi-Modal Federated Learning
dev.to·1d·
Discuss: DEV
📈Mutual Information
Tech With Tim: How to Build AI Agents in Python
dev.to·23h·
Discuss: DEV
🔲Cellular Automata
Cross-Representation Benchmarking in Time-Series Electronic Health Records for Clinical Outcome Prediction
arxiv.org·3h
🧠Machine Learning
How AI Agents Are Changing the Future of Web Scraping
dev.to·17h·
Discuss: DEV
📰RSS Archaeology
A Design-based Solution for Causal Inference with Text: Can a Language Model Be Too Large?
arxiv.org·3h
🧠Intelligence Compression
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·9h·
Discuss: DEV
🤖AI Curation
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·2d·
Discuss: DEV
🌊Apache Kafka
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·3d
💻Local LLMs
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·2d·
Discuss: DEV
🌀Brotli Internals