Show HN: Structa โ Design databases in plain English with AI
๐ขAlgebraic Data Types
Flag this post
This Month in Ladybird โ October 2025
๐ActivityPub
Flag this post
Vibecoding my way to a crit on GitHub
๐งDevOps
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
๐คProgram Synthesis
Flag this post
Why AI Can't Write Good Software
๐คLanguage Design
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.orgยท2d
๐งฉParser Combinators
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
๐งDevOps
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
๐พRetro Computing
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.comยท2d
๐ฅSelf-Hosting
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.orgยท1d
โกProcess Calculi
Flag this post
AMD's Zen 5 RDSEED Issue Is Causing Headaches For Optimized CachyOS Builds
phoronix.comยท17h
๐พCachix
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.orgยท1h
๐Automata Learning
Flag this post
Decoding Kiroween
โ๏ธCompiler Design
Flag this post
Loading...Loading more...