Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.ioยท2d
๐ŸงฎAlgebraic Datatypes
Show HN: FigForm โ€“ Feel the power of Figma when creating customized forms
figform.ioยท2dยท
Discuss: Hacker News
๐Ÿฆ‹Format Metamorphosis
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.comยท3dยท
Discuss: Hacker News
๐Ÿ›Digital humanities
Tokens: The New Oil or Engineering in Spite of Scarcity
tidyfirst.substack.comยท17hยท
Discuss: Substack
๐Ÿ”BitFunnel
Solving the Context Rot Problem for Coding Agents
install.mdยท3dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Deploy a full stack voice AI agent with Amazon Nova Sonic
aws.amazon.comยท2d
๐ŸŒŠStreaming Systems
H-Nets โ€“ The Future
goombalab.github.ioยท2dยท
Discuss: Hacker News
๐Ÿ“ผCassette Combinators
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.toยท4dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Proof-theoretic Semantics for First-order Logic
arxiv.orgยท2d
๐Ÿ—๏ธConstructive Logic
From Neural Network Frustration to Mathematical Innovation
dev.toยท2dยท
Discuss: DEV
๐Ÿง Machine Learning
NATS with JetStream
dev.toยท23mยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Super Resolution for Renewable Energy Resource Data With Wind From Reanalysis Data and Application to Ukraine
arxiv.orgยท2d
๐Ÿ“ฐRSS Archaeology
It Would Be Good if the AI Bubble Burst
stephendiehl.comยท2dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
SQL CASE Statements: The Order Matters!
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Constraint Handling
The borrowchecker is what I like the least about Rust
viralinstruction.comยท20hยท
Discuss: Lobsters, Hacker News
๐Ÿฆ€Rust Borrowing
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.ioยท3d
๐Ÿ”ŒArchive APIs
VITA: Vision-to-Action Flow Matching Policy
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
The Real Problem with AI Agents (and How We Built the Fix)
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Go's Last Words on Error Handling Syntax
dev.toยท16hยท
Discuss: DEV
๐Ÿ“œProof Carrying Code
Complete 11+ Hour Python Course for Beginners
dev.toยท8hยท
Discuss: DEV
๐ŸŽตAudio ML