🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·3d
🌳Archive Merkle Trees
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·7h·
Discuss: Hacker News
💧Liquid Types
GCC 15: Continuously Improving
community.arm.com·6h·
Discuss: Lobsters, Hacker News
🦾ARM Assembly
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Hitchhiker’s Guide to RAG with ChatGPT API and LangChain
towardsdatascience.com·2h
📊Multi-vector RAG
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·10h·
Discuss: DEV
✅Format Verification
Ecma International approves ECMAScript 2025: What’s new?
2ality.com·20h·
Discuss: Hacker News
🎯Gradual Typing
CBF-AFA: Chunk-Based Multi-SSL Fusion for Automatic Fluency Assessment
arxiv.org·16h
🎙️Whisper
LeetCode 2040 Beginner friendly explanation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·1d
🌀Fractal Compression
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·16h
⚡Incremental Computation
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·1d·
Discuss: DEV
🛠Language Design
Probing AI Safety with Source Code
arxiv.org·16h
✨Effect Handlers
Coccinelle for Rust progress report (Collabora blog)
lwn.net·5h
🦀Rust Borrowing
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·1d
🧠Intelligence Compression
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·9h·
Discuss: DEV
🔌Interface Evolution
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·16h
🧠Intelligence Compression
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·9h·
Discuss: r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity