An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
The A.I. Prompt That Could End the World
nytimes.com·1d·
Discuss: Hacker News
⚡Proof Automation
When Will Quantum Computing Work?
tommccarthy.net·1d·
Discuss: Hacker News
🔐Quantum Security
Stop Worrying and Love the Bomb
bitbytebit.substack.com·1h·
Discuss: Substack
⚙️Build Archaeology
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·1h·
Discuss: Hacker News
🧮Algebraic Datatypes
English - the hottest programming language of the future
dev.to·22h·
Discuss: DEV
🔄Language Evolution
High-Throughput Reactive Sputtering Process Optimization via Adaptive Machine Learning Control
dev.to·50m·
Discuss: DEV
📄Document Digitization
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·3h·
Discuss: Hacker News
🔗Concatenative Languages
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to·9h·
Discuss: DEV
🔍Vector Forensics
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
InferenceMAX – open-source Inference Frequent Benchmarking
github.com·20h·
Discuss: Hacker News
⚡Performance Mythology
Real + Logic = Realgic: The Search for Authenticity in the Age of AI
dev.to·9h·
Discuss: DEV
🏛Digital humanities
Moving from Fortigate to OPNsense (reorganizing my Homelab)
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·2d
💻Programming languages
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·2d
🧠Machine Learning
Side project - MV864A meter restoration - blocking out entire schematic
rescue1130.blogspot.com·1h·
Discuss: rescue1130.blogspot.com
⚙️DIY Electronics
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
In-Depth Analysis: "Attention Is All You Need"
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·11h·
Discuss: DEV
🇨🇳Chinese Computing
Hackaday Podcast Episode 341: Qualcomm Owns Arduino, Steppers Still Dominate 3D Printing, and Google Controls Your Apps
hackaday.com·22h
🧪Cassette Hacks