How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท3d
๐ŸŒŠStreaming Systems
Why are coding agents all going to the terminal?
arnorhs.devยท2d
๐Ÿ“ŸTerminals
Run Express server in the browser (2016)
glebbahmutov.comยท17hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
We found a bug in Go's ARM64 compiler
blog.cloudflare.comยท4dยท
๐Ÿ“œProof Carrying Code
Alias and references as localized macros
gustedt.wordpress.comยท5dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Use AI to Generate Visual AI Agents
ainiro.ioยท1dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Agents 2.0: From Shallow Loops to Deep Agents
philschmid.deยท1dยท
Discuss: Hacker News
๐Ÿ“ผTape Combinators
Experimenting with B+Tree + WAL replication: 1K writes/sec, 2K readers, 1.2M aggregate ops/sec
reddit.comยท8hยท
Discuss: r/golang
๐ŸŒฒB-tree Variants
๐Ÿ”ฅ MicroPython on ESP32: Build a Smart Sensor in 15 Minutes Without Writing C! ๐Ÿ˜ฑ
dev.toยท9hยท
Discuss: DEV
๐Ÿ”ŒSingle Board PC
AI News and Releases: First Week of October 2025
dev.toยท2dยท
Discuss: DEV
๐Ÿค–AI Curation
The Case for Separating Thinking (GPU) and Compute (CPU)
gojiberries.ioยท20hยท
Discuss: Hacker News
โšกZ3 Optimization
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.orgยท2d
๐Ÿ“œDigital Philology
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Vector Forensics
The Library Method: Understanding @cache
dev.toยท3dยท
Discuss: DEV
โšกCache Theory
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.toยท6dยท
Discuss: DEV
โšกSMT Applications
Automated Order Routing Optimization via Hierarchical Reinforcement Learning and Multi-Objective Score Fusion
dev.toยท3hยท
Discuss: DEV
๐ŸŒŠStream Processing
Comparing human and language models sentence processing difficulties on complex structures
arxiv.orgยท3d
๐Ÿ”—Parser Combinators
Google Agent Development Kit (ADK) for TypeScript
github.comยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
From Script Chaos to AI-Powered Efficiency: How EchoAPI Transforms Dynamic Variable Generation in API Testing
dev.toยท2dยท
Discuss: DEV
โšกProof Automation