Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·12h
📝Concrete Syntax
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
The Guide to the Foundation Models Framework
azamsharp.com·5h·
Discuss: Hacker News
λLambda Formalization
The more LLMs think, the worse they translate
nuenki.app·6h·
Discuss: Hacker News
⚙️Compression Benchmarking
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Rewriting the Ruby Parser
railsatscale.com·4d·
Discuss: Hacker News
🔗Monadic Parsing
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·14h
🔍Type Inference
How Alignment Shrinks the Generative Horizon
arxiv.org·1d
🔗Monadic Parsing
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·2h
💻Local LLMs
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Semantic-Aware Parsing for Security Logs
arxiv.org·1d
📝Log Parsing