🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·15h·
Discuss: Hacker News
🔢Denotational Semantics
Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
🎯Gradual Typing
Algebra 2 Problems of the Day (Algebra 2, January 2025 Part I)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
Advanced Rust Programming Techniques • Florian Gilcher • GOTO 2024
youtube.com·1d
🦀Rust Borrowing
The Art of Bijective Combinatorics
viennot.org·15h·
Discuss: Hacker News
🕸️Graph Algorithms
A survey of Chernoff and Hoeffding bounds
arxiv.org·1d
📐Error Bounds
And the other Big Red Logic Books?
logicmatters.net·15h
🔀Category Theory
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·2d
🔓Decompilation
Understanding Matrices | Part 2: Matrix-Matrix Multiplication
towardsdatascience.com·12h
📐Linear Algebra
graven-image: Portability library for CL image in REPL
github.com·13h·
Discuss: Lobsters
🦀Rust Macros
PhD position in algebraic geometry and representation theory
pbelmans.ncag.info·1d
🌀Riemannian Computing
What is cosh(List(Bool))? Or beyond algebra: analysis of data types
cofault.com·3d·
Discuss: Hacker News
🧮Algebraic Datatypes
My first experience with Formal Methods | ZipCPU
zipcpu.com·21h
🔧Hardware Verification
An unfinished post: "Compressing short Unicode strings with BOCU-1"
evanhahn.com·1d
🔤Character Encoding
A Gentle Introduction to Multi-Head Attention and Grouped-Query Attention
machinelearningmastery.com·12h
🚀SIMD Text Processing
Working with Claude Code
bphogan.com·12h·
Discuss: Hacker News
🦀Rust Macros
Posit floating point numbers: thin triangles and other tricks
marc-b-reynolds.github.io·17h·
Discuss: Lobsters, Hacker News
💎Information Crystallography
Lambda : History-Aware Bayesian Jump Event Detector for Time Series (with Dual EYE Mode)
dev.to·7h·
Discuss: DEV
🧬Bitstream Evolution
Some Notes on Division, and its History (Including Alien Division for Fractions)
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
Structured Output for Beginners and 3 Prompting Tips
pocketflow.substack.com·7h·
Discuss: Substack
🌳Incremental Parsing