🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Quadratic Forms Beyond Arithmetic
ams.org·4h·
Discuss: Hacker News
🧮Algebraic Datatypes
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·1h
🧮Algebraic Archives
Issue 481
haskellweekly.news·17h
🔗Functional Compilers
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·16h·
Discuss: Hacker News
🤝Distributed Consensus
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·27m·
Discuss: Hacker News
🗂️Vector Databases
Multiples and powers mod 1
johndcook.com·15h
🎯Arithmetic Coding Theory
Functional Abstract Interpretation
simon.peytonjones.org·3d·
Discuss: Hacker News
🔗Functional Compilers
A Wide Reduction Trick (2022)
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·22h
📜Proof Carrying Code
Historical highlights?
logicmatters.net·2d
🔀Category Theory
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·3d·
Discuss: Hacker News
🔍Type Inference
Code Smells in Clojure
github.com·7h·
Discuss: Hacker News
🦀Rust Borrowing
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·14h·
Discuss: DEV
📐Vector Dimensionality
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·1h
🛡️Proof-Carrying Archives
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·11m·
Discuss: Hacker News
🧮SMT Solvers
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·4h·
Discuss: Hacker News
📋Protocol Buffers
Compressed data structures for Heegaard splittings
arxiv.org·2d
🕳️Persistent Homology
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·1d
📊Vector Quantization