🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Feeds to Scour
SubscribedAll
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·10h
🦀Rust Macros
Preview
Report Post
Data Processing Inequalities and Function-Space Variational Inference (2023)
blog.blackhc.net·1h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Preview
Report Post
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
λLambda Formalization
Preview
Report Post
ODF 1.4
docs.oasis-open.org·12h·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
Building an AI Code Reviewer: What I Learned Wiring LLMs Into Real Code
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Preview
Report Post
Squint Testing Lisps
blog.toast.cafe·5h
🧠Lisp Dialects
Preview
Report Post
A series of tricks and techniques I learned doing tiny GLSL demos
blog.pkh.me·7h
📟Terminal Physics
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·1d
📐Interval Arithmetic
Preview
Report Post
Cloudflare Outage: Rust Analysis
splinter.com.au·2d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 6
hamberg.no·2d
🧠Lisp Dialects
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·2d
🎯Performance Proofs
Preview
Report Post
Breadboards that are set up on my desk right now
circusscientist.com·10h
⚙️Tape Mechanics
Preview
Report Post
Geometric Data Science
arxiv.org·2d
🌀Differential Geometry
Preview
Report Post
Mathematical "Urban Legends" (2011)
mathoverflow.net·10h·
Discuss: Hacker News
🔲Proof Irrelevance
Preview
Report Post
This Is How To Find Meaning In Life: 6 Secrets From Research
bakadesuyo.com·47m
⬜Minimalism
Preview
Report Post
Energy efficiency task scheduling algorithm for multi-core embedded platforms
sciencedirect.com·1h·
Discuss: Hacker News
🖥️Hardware Architecture
Preview
Report Post
Things I assumed you knew
resourceaholic.com·13h·
Discuss: www.resourceaholic.com
🧮Theorem Proving
Preview
Report Post
React2shell: CVE-2025-55182 Technical Breakdown
miggo.io·2h·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Bottoms Up Factoring, A Question of History
pballew.blogspot.com·18h·
Discuss: www.blogger.com
📐Interval Arithmetic
Preview
Report Post
Cryptography for the Everyday Developer: Understanding RSA
sookocheff.com·2d
🔐Homomorphic Encryption
Preview
Report Post