Quindar Tone Generator
curiousmarc.com·10h·
Discuss: Hacker News
⚡Control Synthesis
Flag this post
Top Five Trends In RTL Signoff
semiengineering.com·4d
👑Dominator Analysis
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·16h·
Discuss: Hacker News
📏Linear Haskell
Flag this post
We’re back with episode 2 of 1 IDEA! Today, Vinay Perneti (VP of Eng @ Augment Code) shares his own Bottleneck Test
linkedin.com·2d·
Discuss: r/programming
📊Profiling Tools
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·21h·
Discuss: Substack
⚡Tokenizer Optimization
Flag this post
How relevant are DO-178C and DO-331 today for aerospace embedded software development?
reddit.com·21h·
Discuss: r/embedded
🎨Domain-Specific Languages
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·1d·
Discuss: Hacker News
🔒Rust Borrowing
Flag this post
Building Up And Sanding Down
endler.dev·3d
🔧API Design
Flag this post
Announce "orb" as a runtime abstraction and "razor-rpc"
reddit.com·1d·
Discuss: r/rust
✨Gleam
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.org·3h
💬Interactive REPLs
Flag this post
Supercharge Your Web Apps: A Beginner's Guide to WebAssembly Optimization
dev.to·1d·
Discuss: DEV
🌐WebAssembly
Flag this post
Datalog DSL detects defective dependency declarations, defanging dodgy development discipline
blog.waleedkhan.name·4d
📋Souffle Datalog
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·22h·
Discuss: Hacker News
📝PEG Parsing
Flag this post
Help me get Claude Code vibes on my local setup (9950X3D + RTX 5090 + 2TB RAG)
reddit.com·19h·
Discuss: r/homelab
📝Register Allocation
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.to·17h·
Discuss: DEV
🪜Recursive Descent
Flag this post
Walkie Talkie, an open source peer-to-peer iOS communicator
github.com·9h·
Discuss: Hacker News
🌉Cross-Platform FFI
Flag this post
A Roller Coaster Of Emotions
deprogrammaticaipsum.com·5h
🥾Bootstrapping Strategies
Flag this post
Pipeline RUL prediction method that considers the coupling of multiple corrosion factors: Integrating deep learning and stochastic processes
sciencedirect.com·17h
🔮CPU Branch Prediction
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·7h·
Discuss: r/C_Programming
🐪MinCaml
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·3h
🌱Minimal ML
Flag this post