🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·4d
λLambda Encodings
GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·12h·
Discuss: Hacker News
💧Liquid Types
Associated, unassociated alpha channel compositing
medium.com·11h·
Discuss: Lobsters, Hacker News
🖼️JPEG XL
What Problems to Solve – By Richard Feynman
genius.cat-v.org·1d·
Discuss: Hacker News
⚛️Information Physics
abhisheksr01/spring-boot-microservice-best-practices
github.com·23h
🌊Streaming Systems
Study Finds LLM Users Have Weaker Understanding After Research
slashdot.org·9h
🧠Intelligence Compression
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Coccinelle for Rust progress report (Collabora blog)
lwn.net·9h
🦀Rust Borrowing
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·13h·
Discuss: DEV
🔌Interface Evolution
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
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·16h
🔓Password Cracking
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·21h
🧠Intelligence Compression
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·14h·
Discuss: Hacker News, 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
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·2d·
Discuss: DEV
⚙️TLA+
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·21h
📐Error Bounds
Gen AI & Langchain Master Class
dev.to·2d·
Discuss: DEV
🎙️Whisper
new2
dev.to·22h·
Discuss: DEV
🧠Query Planners
Using PhantomData and Zero-Sized Types
dev.to·1d·
Discuss: DEV
🔒Type Safety