Favourites of October 2025
brainbaking.com·12h
🏺Gaming Archaeology
Flag this post
Review of Intel-based UP AI development kits – Part 1: Unboxing and first boot to Ubuntu Pro 24.04
cnx-software.com·1d
Homebrew CPUs
Flag this post
Team Builds Computer Prototype Designed To Make AI More Efficient - News Center
news.utdallas.edu·2h
🕹️Hardware Emulation
Flag this post
Advanced 3D IC Heterogeneous Integration Analysis via Bayesian Optimization and AI-Driven Defect Mapping
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·4d
🧮SMT Solvers
Flag this post
THE LEAN MEAN MEME MACHINE
dev.to·6h·
Discuss: DEV
⚖️Feed Ranking
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·3d·
📊Performance Profiling
Flag this post
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
mbuffett.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Linux/WASM
joelseverin.github.io·1d·
Discuss: Hacker News
🕸️WASM Archives
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·11h·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
🔗Combinatory Logic
Flag this post
AI Inference: The Silent Budget Killer (and How to Stop It)
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·11h·
Discuss: DEV
🎬WebCodecs API
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📝Compiler Design
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·4d·
Discuss: Hacker News
Effect Handlers
Flag this post
Shape-Shifting AI: Making Models That Adapt to Data
dev.to·18h·
Discuss: DEV
📊Quantization
Flag this post
Chain of Pattern: Rethink
dev.to·7h·
Discuss: DEV
📏Code Metrics
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·14h·
Discuss: Hacker News
📐Proof Assistants
Flag this post
Hyper-Dimensional Bayesian Optimization for Enhanced Statistical Process Control
dev.to·1d·
Discuss: DEV
⚙️Modern Assembly
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·12h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post