The Grammar According to West
dwest.web.illinois.edu·2h·
Discuss: Hacker News
🔬Lean
Regarding formatting issues with AI-generated copy
dev.to·10h·
Discuss: DEV
✅Format Verification
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
The relentless drive toward simplified design ↦
sixcolors.com·19h
🎨Swedish Design Philosophy
Skeptik: A Hybrid Framework for Combating Potential Misinformation in Journalism
arxiv.org·12h
📰Content Curation
Nytek Calculator
play.google.com·6h·
Discuss: Hacker News
📐Document Calculus
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·1d
📐Geometric Hashing
Show HN: Vectorless RAG
github.com·7h·
Discuss: Hacker News
📊Multi-vector RAG
Proposal: Better CSS Text Justification
blog.glyphdrawing.club·48m·
Discuss: Hacker News
🖋Typography
Extreme armour in the world’s oldest ankylosaur
nature.com·11m
🦴Binary Paleontology
System eval with Obsidian and Claude Code
interjectedfuture.com·59m
⚡Proof Automation
Dependent types I › Universes, or types of types
jonmsterling.com·9h·
Discuss: Hacker News
🔤Type Theory
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·2d
📐Mathematical Art
Is math discovered or invented?
mathwithbaddrawings.com·2d
📐Mathematical Art
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·22h·
Discuss: Hacker News
🦀Rust Macros
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
Looking back at "legacy" HTML practices
nooshu.com·19h·
Discuss: Hacker News
🏺Format Archaeology