🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Field Sensitive Escape Analysis in Golang?
reddit.com·13h·
Discuss: r/golang
🧠Lisp Dialects
Sheaf Hypergraph Networks
arxiv.org·2d
🌀Hyperbolic Geometry
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·4h·
Discuss: DEV
🧠Machine Learning
What Problems to Solve – By Richard Feynman
genius.cat-v.org·1h·
Discuss: Hacker News
⚛️Information Physics
Explicit Constructions of Sum-Rank Metric Codes from Quadratic Kummer Extensions
arxiv.org·1d
🔢Reed-Solomon Math
daily quizzz
dev.to·5h·
Discuss: DEV
λLambda Encodings
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·14h
📐Compression Bounds
The Guide to the Foundation Models Framework
azamsharp.com·5h·
Discuss: Hacker News
λLambda Formalization
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·8h·
Discuss: Hacker News, r/programming
🔗Lisp
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·23h
🤖Grammar Induction
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
Bounds for Geometric rank in Terms of Subrank
arxiv.org·2d
🎯Performance Proofs
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Overtuning in Hyperparameter Optimization
arxiv.org·14h
🧠Machine Learning
Hypercubical manifolds in homotopy type theory
arxiv.org·14h
🔶Cubical Type Theory
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·23h·
Discuss: Hacker News
🤖Archive Automation
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization