🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
abhisheksr01/spring-boot-microservice-best-practices
github.com·13h
🌊Streaming Systems
GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·2h·
Discuss: Hacker News
💧Liquid Types
Associated, unassociated alpha channel compositing
medium.com·1h·
Discuss: Lobsters, Hacker News
🖼️JPEG XL
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.org·11h
🔍BitFunnel
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·5h·
Discuss: DEV
✅Format Verification
Ecma International approves ECMAScript 2025: What’s new?
2ality.com·15h·
Discuss: Hacker News
🎯Gradual Typing
CBF-AFA: Chunk-Based Multi-SSL Fusion for Automatic Fluency Assessment
arxiv.org·11h
🎙️Whisper
new2
dev.to·12h·
Discuss: DEV
🧠Query Planners
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·1d
🌀Fractal Compression
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·11h
⚡Incremental Computation
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·19h·
Discuss: DEV
🛠Language Design
Probing AI Safety with Source Code
arxiv.org·11h
✨Effect Handlers
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·3h·
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
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·11h
🧠Intelligence Compression
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·4h·
Discuss: r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
DigitalOcean Fundamentals: API
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·7h
🔓Password Cracking