Some Dumb AI Ideas
4gravitons.com·1d
🌳Context free grammars
A string formatting library in 65 lines of C++
riki.house·1d·
Discuss: Lobsters, Hacker News
✅Format Verification
Alibaba Launches Qoder: An Agentic Coding Platform for Real Software
finance.yahoo.com·1d·
Discuss: Hacker News
⚙️TLA+
I built my first side project: Tubee, in 2017
blog.tomy.me·2d·
Discuss: Hacker News
🚀Indie Hacking
Building Code Retrieval for Claude Code from Scratch
zc277584121.github.io·4d·
Discuss: Hacker News
🌳Incremental Parsing
Developer Walk-Through of Auggie CLI, an Agentic Terminal App
thenewstack.io·20h
🛡️CLI Security
AI Is in a Weird Spot
samjarman.co.nz·1d·
Discuss: Hacker News
⚙️Proof Engineering
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.org·2d
⚡Incremental Computation
What it took to make a multi-agent trading simulation durable and observable
union.ai·2d·
Discuss: Hacker News
⚡Proof Automation
A pseudolocalization developer experience tool
github.com·15h·
Discuss: Hacker News
🔄Migration Tools
[P] Language Diffusion in <80 Lines of Code
reddit.com·2d·
Discuss: r/MachineLearning
🎯Gradual Typing
Glyph.Flow Devlog #2 – Hitting the Registry Milestone
dev.to·1d·
Discuss: DEV
🐚Shell Calculus
Optimized FPGA-Based Low-Noise Amplifier Pipeline for Millimeter-Wave ET PA Systems
dev.to·2h·
Discuss: DEV
⚡Circuit Verification
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·1d·
Discuss: DEV
🔐Cryptographic Archaeology
Shortcuts for the Long Run: Automated Workflows for Aspiring Data Engineers
kdnuggets.com·1d
🌊Stream Processing
mimidns: an authoritative dns server in Go.
reddit.com·1d·
Discuss: r/golang
🌐DNS Security
scottpetrovic/mesh2motion-app
github.com·8h
📦MKV Containers
Extracting Structured Requirements from Unstructured Building Technical Specifications for Building Information Modeling
arxiv.org·4d
📋Document Grammar
The Evolution of AI Software Engineering
medium.com·1d·
Discuss: Hacker News
🔄Language Evolution