Show HN: Embedr – The AI-Native Arduino IDE
embedr.app·1d·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·14h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·3d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
news.ycombinator.com·2d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
You Don't Need Types in Ruby
zhisme.com·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·14h·
Discuss: Hacker News
📚Automata Learning
Flag this post
The Arduino Uno Q is a weird hybrid SBC
jeffgeerling.com·18h·
Discuss: Hacker News
💻QEMU
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·1d·
Discuss: Hacker News
🍎XNU Internals
Flag this post
Rust Hobby OS projects worth exploring
oshub.org·21h·
Discuss: Hacker News, r/rust
🔧Unikernel Development
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Show HN: I'm building an open source platform for studying Arabic
parallel-arabic.com·16h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
What are you doing this weekend?
lobste.rs·14h·
Discuss: Lobsters
📝Nix Language
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.org·1d
🧮Z3 Solver
Flag this post
All You Need for Object Detection: From Pixels, Points, and Prompts to Next-Gen Fusion and Multimodal LLMs/VLMs in Autonomous Vehicles
arxiv.org·1d
📚Automata Learning
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🔲Cellular Automata
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·14h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Automated Calibration of Open-Loop Control Systems via Adaptive Fourier Analysis
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post