🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Fox pairing
ncatlab.org·5h
🕸️Algebraic Topology
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·18h·
Discuss: Hacker News
⚔️Lean Theorem
Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
🔄Graph Rewriting
CL-JSON Ambiguity
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🧠Lisp Dialects
Fun OCaml 2025
fun-ocaml.com·50m·
Discuss: Hacker News
🧬Functional Programming
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
HigherOrderCO/HVM3
github.com·16h
🔗Functional Compilers
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·1d·
Discuss: Hacker News
⚡Dependent Rust
What is a smooth manifold?
burttotaro.wordpress.com·1d
🕸️Algebraic Topology
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·3d·
Discuss: www.blogger.com
📐Linear Algebra
Beyond Bézier
beyondbezier.ch·8h·
Discuss: Hacker News
📖Nordic Typography
Simpler Category Theory
ryanbrewer.dev·3d·
Discuss: Hacker News
🔀Category Theory
Show HN: Novel GPT-2 sampling and memory architecture
github.com·8h·
Discuss: Hacker News
💎Information Crystallography
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·1d
🔗Tailscale
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·22h
🔲Cellular Automata
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Selective Temporal Training
robinsloan.com·7h
🤖Grammar Induction
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·1d
🔐Cryptographic Archaeology
Custom slash commands in Claude Code
boliv.substack.com·28m·
Discuss: Substack
⚔️Lean Tactics