"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·2h·
Discuss: www.blogger.com
⚔️Lean Theorem
SAFT: Structure-Aware Fine-Tuning of LLMs for AMR-to-Text Generation
arxiv.org·4h
📋Document Grammar
Google DeepMind Formal Conjectures
google-deepmind.github.io·14h·
Discuss: Hacker News
🕸️Algebraic Topology
Information modeling example: Call sheet
disruptivearchitecture.info·3d
🚚Data Migration
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·1d
🧮Algebraic Archives
Math Fractions Teacher Helper
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
mchav/dataframe
github.com·7h
🧠Lisp Dialects
Cauchy coup
leancrew.com·1d
📐Linear Algebra
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·2h
🔤Type Theory
Cactus Language • Stylistics 6
inquiryintoinquiry.com·17h
🌳Context free grammars
Mathematics Uncover Hidden Geometry of Imperfect Crystals
scitechdaily.com·2d
🌀Differential Geometry
The Basics of Wikibase
diff.wikimedia.org·12h
📇Dublin Core
Adding OCR support to the local translator
blog.davidv.dev·1d
⟷Bidirectional Programming
Twenty years of blogging
11011110.github.io·1d
📐Mathematical Art
Categorizing Book Notes with AI
mieubrisse.substack.com·16h·
Discuss: Substack
🌀Brotli Internals
Small Programming Language for editing photos (written in Rust)
reddit.com·19h·
Discuss: r/rust
🦀Rust Macros
Unlocking True Document Productivity with PixLab Vision Workspace
dev.to·3h·
Discuss: DEV
📄Document Digitization
Browsers battle over PDF capabilities
pdfa.org·3d
📋Document Standards
Pictures of Models folded by Shuzo Fujimoto from Roberto Morassi’s Collection
origami.kosmulski.org·10h
📖Nordic Typography
Online Notepad - Free Online Text Editor With Sharing
hypernotepad.com·6h
📰RSS Feed Discovery