Verifying and testing timeliness constraints of Haskell programs
⚡Interpreter Optimization
Flag this post
7 DIY smart home projects from Maker Faire you won't find at Best Buy
xda-developers.com·10h
🌐Portable Assembly
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🌱Minimal Interpreters
Flag this post
Polynomial-Time Algorithms for Computing the Nucleolus: An Assessment
arxiv.org·2d
⚡Partial Evaluation
Flag this post
Radxa Unveils Solder-Down rCore Module Line With RK3308 and IQ-9075 Edge AI Variants
linuxgizmos.com·10h
🔌Microcontrollers
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·10h
🗂️Type Indexing
Flag this post
Meditations on geometric packing
shvbsle.in·22h
🌊Effect Rows
Flag this post
Reduced order modeling with shallow recurrent decoder networks
nature.com·2d
⚡Partial Evaluation
Flag this post
Code review: Tiny in-memory task manager with async CloudEvent emission – idiomatic Go?
🐹Go Runtime
Flag this post
Error after trying to connect esp32 to wlan
🤖Embedded Go
Flag this post
How LLM Inference Works
arpitbhayani.me·1d
🚀Tokenizer Performance
Flag this post
Minimizing Variable Scope in Go: New Blog Post and Static Analyzer Tool
blog.fillmore-labs.com·2d
🔗Lexical Scoping
Flag this post
Show HN: Wolfrominoes
🧮Combinator Calculus
Flag this post
RENESAS RA6M3 Poison Candy
hackster.io·23h
🤖Embedded Go
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
🔮Type Inference Visualization
Flag this post
Loading...Loading more...