Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Regarding formatting issues with AI-generated copy
dev.to·4h·
Discuss: DEV
✅Format Verification
The relentless drive toward simplified design ↦
sixcolors.com·13h
🎨Swedish Design Philosophy
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Skeptik: A Hybrid Framework for Combating Potential Misinformation in Journalism
arxiv.org·6h
📰Content Curation
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·21h
🎯Gradual Typing
Show HN: Vectorless RAG
github.com·1h·
Discuss: Hacker News
📊Multi-vector RAG
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·20h
📐Geometric Hashing
Dependent types I › Universes, or types of types
jonmsterling.com·3h·
Discuss: Hacker News
🔤Type Theory
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·1d
📐Mathematical Art
Is math discovered or invented?
mathwithbaddrawings.com·1d
📐Mathematical Art
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·16h·
Discuss: Hacker News
🦀Rust Macros
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·22h
✅Format Verification
Looking back at "legacy" HTML practices
nooshu.com·13h·
Discuss: Hacker News
🏺Format Archaeology
Inquiries-Week 4: Triangulate the Triangle
fractalkitty.com·11h·
Discuss: Hacker News
📊Computational Geometry
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·1d
🧲Magnetic Philosophy
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·1d
🗝️Paleocryptography
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·15h·
Discuss: Hacker News
🧮Algebraic Datatypes
Show HN: Auto-Match – How We Built Receipt-to-Transaction Matching (Open Source)
midday.ai·2h·
Discuss: Hacker News
🔤EBCDIC Mining