šŸæļø ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
ā›ļø Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

I’m happy when people learn and are inspired
hamatti.orgĀ·2d
šŸ“”RSS Syndication
AI can find cancer pathologists miss
uu.seĀ·11hĀ·
Discuss: Hacker News
šŸ¤–Advanced OCR
About Containers and VMs
linuxcontainers.orgĀ·13hĀ·
Discuss: Lobsters, Hacker News
šŸ’»Operating System, OS
Nvidia Release Massive AI-Ready Open European Language Dataset and Tools
hardware.slashdot.orgĀ·2d
šŸŽ™ļøWhisper
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.ioĀ·5dĀ·
Discuss: Hacker News
šŸ”¤Unicode Normalization
Rambling reflections one year after quitting my job
experimentallearning.substack.comĀ·2dĀ·
Discuss: Substack
šŸ“ó §ó ¢ó ³ó £ó “ó æScottish Computing
In the Age of AI, some tech leaders think communications degrees may actually be more valuable than computer science degrees
fortune.comĀ·9hĀ·
Discuss: Hacker News
šŸ“°RSS Archaeology
IBM’s Power11 Processor Architecture at Hot Chips 2025
servethehome.comĀ·4hĀ·
Discuss: Hacker News
šŸ–„ļøHardware Architecture
Generative Procrastination: Shipping Fast Without Progressing
gauravchande.comĀ·3dĀ·
Discuss: Hacker News
šŸ”—Concatenative Languages
Heart Health for Developers
dev.toĀ·2dĀ·
Discuss: DEV
šŸ“œProof Carrying Code
Fairlight Alpha Fund Q2 2025 Letter
seekingalpha.comĀ·1d
šŸ’°Preservation Economics
Curriculum Approximate Unlearning for Session-based Recommendation
arxiv.orgĀ·3d
šŸ“ŠLearned Metrics
Adaptive Tensegrity Locomotion via Hybrid Reinforcement Learning & Dynamic Stiffness Modulation
dev.toĀ·2dĀ·
Discuss: DEV
šŸ”²Cellular Automata
Congrats to the World's Largest Hackathon Writing Challenge Winners!
dev.toĀ·4dĀ·
Discuss: DEV
šŸš€Indie Hacking
Exploiting Vocabulary Frequency Imbalance in Language Model Pre-training
arxiv.orgĀ·3d
🧠Intelligence Compression
An automatic patent literature retrieval system based on LLM-RAG
arxiv.orgĀ·4d
šŸ”Information Retrieval
Machine Learning-Based AES Key Recovery via Side-Channel Analysis on the ASCAD Dataset
arxiv.orgĀ·6d
šŸ”Vector Forensics
Adaptability: The Superpower Developers Need in 2025
dev.toĀ·17hĀ·
Discuss: DEV
šŸ”ŒInterface Evolution
Why Your AI Chatbot is Dumb — And How to Fix It with AutoGPT Agents
dev.toĀ·5dĀ·
Discuss: DEV
⚔Proof Automation
Report: LLM-Siri could be "powered by Gemini"
heise.deĀ·13h
šŸŽApple Computing
Loading...Loading more...
AboutBlogChangelogRoadmap