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·21h·
Discuss: Hacker News
🔐Quantum Security
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·16h·
Discuss: Hacker News
📊Quantization
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·1d
📋Document Grammar
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·4h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Mitigating SiC MOSFET Threshold Voltage Instability via Adaptive Trapping Time Compensation
dev.to·2d·
Discuss: DEV
🎮Game Cartridge Emulation
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
AI and Deep Learning Accelerators Beyond GPUs in 2025
bestgpusforai.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·8h·
Discuss: DEV
🔗Supply Chain
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·2d
⚛️Quantum Algorithms
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io·4h·
Discuss: Hacker News, r/ClaudeAI
🎙️Whisper
Building with AI: How a Nigerian Engineer Is Simplifying Solar Energy Decisions
hackernoon.com·2d
⚡Incremental Computation
Side project - MV864A restoration - substantial progress in reverse engineering
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
[D] Anyone using smaller, specialized models instead of massive LLMs?
reddit.com·2d·
Discuss: r/MachineLearning
💻Local LLMs
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to·5h·
Discuss: DEV
🔍Vector Forensics
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·7h·
Discuss: DEV
🇨🇳Chinese Computing