🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Software convergence
underlap.org·1d
🔢Denotational Semantics
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
It's okay to solve a problem twice
til.andrew-quinn.me·4h·
Discuss: Hacker News
⚡Proof Automation
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
On This Day in Math - August 20
pballew.blogspot.com·3d·
Discuss: www.blogger.com
📐Mathematical Art
Deep Dive: OpenAI's GPT-OSS
dev.to·9h·
Discuss: DEV
📊Quantization
WeakC4, or Distilling an Emergent Object
2swap.github.io·12h·
Discuss: Hacker News
🔲Cellular Automata
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·11h·
Discuss: Hacker News
⚡Proof Automation
An amusing blind spot in Go's static analysis
gaultier.github.io·1d·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·1d
🔤Morphological Analysis
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·1d
🔗Functional Compilers
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·11h·
Discuss: Hacker News
🧪Binary Fuzzing
busy beaver function
ncatlab.org·3h
⚔️Lean Theorem
Signal Relays
pzuraq.com·19h·
Discuss: Hacker News
✨Effect Handlers
Do not disrespect the fractal
zeux.io·1d·
Discuss: Hacker News
📏Code Metrics
Go Beyond Viper and Cobra: Declarative Field-Driven Configuration for Go Apps
dev.to·10h·
Discuss: DEV
📋Format Specification
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Show HN: Implement BLAKE3 with Awk
github.com·22h·
Discuss: Hacker News
🔐Hash Functions
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics