A moonlit week
blog.mitrichev.ch·6d·
Discuss: blog.mitrichev.ch
🧪Binary Fuzzing
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
📝Compiler Design
Flag this post
Vectorizing for Fun and Performance
ibm.com·3d·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Speedrunning an RL Environment
sidb.in·8h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
💻Local LLMs
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
📊Static Analysis
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·10h·
Discuss: Hacker News
🔄Language Evolution
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Linear Types
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·8h·
Discuss: DEV
🔗Concatenative Programming
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.org·2d
🔗Functional Compilers
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
✅Format Verification
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
🔗Network Calculi
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
✨Algebraic Effects
Flag this post
Paillier Cryptosystem
en.wikipedia.org·5d·
Discuss: Hacker News
🔐Homomorphic Encryption
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
🔗Monadic Parsing
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post