Week #767 & #768
optional.isยท1d
๐Ÿ“ˆTime Series
Flag this post
Note
hsu.cyยท2d
๐Ÿ“œText Collation
Flag this post
Curves to curve by.
mathwithbaddrawings.comยท2d
๐Ÿ“Document Calculus
Flag this post
Making batteries more like bombs
orcasciences.comยท9hยท
Discuss: Hacker News
๐ŸงฒCassette Physics
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.comยท1hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Flag this post
CodePlot-CoT: Mathematical Visual Reasoning by Thinking with Code-Driven Images
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Mathematical Art
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.toยท11hยท
Discuss: DEV
๐Ÿ”งHardware Verification
Flag this post
Chatbots, My Rules of Engagement
christophedujarric.comยท20hยท
Discuss: Hacker News
โšกProof Automation
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท2dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท1d
๐ŸŒณContext free grammars
Flag this post
Our Lunar Landing Site API goes Live Today!
dev.toยท3hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Flag this post
How Machine Learning Is Solving the $2 Trillion Contract Management Problem
dev.toยท1dยท
Discuss: DEV
๐Ÿ“„Document Digitization
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.ioยท8hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Flag this post
The Machine Learning Projects Employers Want to See
towardsdatascience.comยท1d
๐ŸŽตAudio ML
Flag this post
NotebookLM just got a major chat upgrade with 8x more context, better memory, and smarter responses
techradar.comยท1d
๐ŸŒ€Brotli Internals
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.toยท1dยท
Discuss: DEV
โš™๏ธTLA+
Flag this post
Understanding Debt: AI Coding at Warp Speed Without Flying Blind
blog.namar0x0309.comยท8hยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Flag this post
LLM Experimentation: Optimizing My Journaling Agent
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Grammar Induction
Flag this post