are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Mastering the ‘O’ in SOLID: Applying the Open/Closed Principle in Real-World Code
medium.com·1d·
Discuss: DEV
📐Type Theory
Flag this post
Code execution with MCP: Building more efficient agents
simonwillison.net·2h
🏭Code Generation
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·17h·
Discuss: DEV
🦀Rust Macros
Flag this post
Do I want Coders to Code?
yeikoff.xyz·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·1d·
Discuss: Hacker News, r/cpp
⚙️Systems Programming
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·1d
🔁Cache Coherence
Flag this post
Extensive FPGA and ASIC resource comparison for blind I/Q imbalance estimators and compensators
sciencedirect.com·10h
🔌Embedded Systems
Flag this post
r/mathematics
reddit.com·12h·
Discuss: r/mathematics
🔢algo
Flag this post
I Use AI
ben.stolovitz.com·11h·
Discuss: Hacker News
📝Parsing
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·21h
🦀Rust Macros
Flag this post
Why AI Can't Write Good Software
blog.jpillora.com·12h·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Deep Dive into Scala 3 Macros: Building a Custom String Interpolator
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Flag this post
From user to implementer: My journey understanding coding agents
reddit.com·21h·
Discuss: r/programming
🦀Rust Macros
Flag this post
Computer Science Fundamentals: From Binary Systems to Algorithms
dev.to·10h·
Discuss: DEV
🌳Data Structures
Flag this post
Decoding Kiroween
dev.to·12h·
Discuss: DEV
🔨LLVM
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·10h·
Discuss: Substack
📊Dynamic Programming
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·21h
🌳B-Trees
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·21h
📝Parser Combinators
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·21h
🔓Lock-Free Programming
Flag this post