How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
Stealth Legal tech startup looking for Head of Eng
25madison-llc.breezy.hr·1d·
Discuss: Hacker News
🔐Capability Systems
Why it took 4 years to get a lock files specification
snarky.ca·15h·
🔄Language Evolution
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Slip – A Lisp System in JavaScript
lisperator.net·1d·
Discuss: Hacker News
🔗Lisp
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Junie Starter’s Pack: AI Coding Agent Explained
dev.to·2d·
Discuss: DEV
📐Proof Assistants
An enough week
blog.mitrichev.ch·1d·
🧮Z3 Solver
11+ Best All-in-One AI Platforms in 2025
dev.to·2d·
Discuss: DEV
🤖AI Curation
The Porcelain to Come
stackdiver.com·20h·
Discuss: Hacker News
🔲Cellular Automata
The Pain Driven Workflow
magistr.me·2d·
Discuss: Hacker News
Incremental Computation
Memgoose – An In-Memory Mongoose Impersonator
github.com·9h·
Discuss: Hacker News
🔄Sync Engine
The Conveyor Belt Protocol: Understanding Iterators
dev.to·15h·
Discuss: DEV
🧬Functional Programming
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·18h·
🔌Interface Evolution
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·1d·
Discuss: Hacker News
🚀Indie Hacking
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·39m·
Discuss: DEV
⚔️Lean Tactics
Show HN: I built a local AI agent desk toy
blog.simone.computer·2d·
Discuss: Hacker News
🎙️Whisper
How I Simplified Contributor Workflows with Rules, Prompts, and AI Agents
dev.to·3d·
Discuss: DEV
🔄Archival Workflows
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
🔗Lisp