[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·9h
🔬Static Analysis
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·14h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·1d·
Discuss: Hacker News
🔄Dynamic Programming
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
⏱️Computational Complexity
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·1h·
Discuss: r/rust
🔬Static Analysis
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
🌳Red-Black Trees
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📈Optimization
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·10h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·2h·
Discuss: r/ClaudeAI
💻programming
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·1d·
Discuss: DEV
🏗️Design Patterns
Flag this post
This is one way I use AI for coding
dev.to·1d·
Discuss: DEV
⚙algorithms
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
gbase.ai·5h·
Discuss: r/ClaudeAI
🏗️Design Patterns
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Lowering in Reverse
buttondown.com·1d
🔁Recursion
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
⚙algorithms
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·8h·
Discuss: r/C_Programming
λFunctional Programming
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·9h
λFunctional Programming
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·20h·
Discuss: DEV
λFunctional Programming
Flag this post
Automated Variant Calling Refinement via Multi-Modal Neuro-Symbolic Integration (AMVR-MNSI)
dev.to·10h·
Discuss: DEV
⏱️Computational Complexity
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·26m
💣Binary Exploitation
Flag this post