Defining Types for a Simple HTTP Server
mmhaskell.comยท2d
๐Ÿ“Type Theory
Flag this post
Radar Trends to Watch: November 2025
oreilly.comยท1d
๐ŸŽญProgram Synthesis
Flag this post
Show HN: I built a way to debug your deployed code on Vercel from your AI IDE
getreturn0.comยท4hยท
Discuss: Hacker News
๐ŸชŸTauri
Flag this post
PolyForm Noncommercial 2.0.0-pre.1
writing.kemitchell.comยท21hยท
Discuss: Hacker News
๐ŸŒOpen Source
Flag this post
DevScribe currently puts your project docs in ONE file. Should I split it up?
devscribe.appยท5dยท
Discuss: DEV
๐ŸŒณGit
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.comยท1dยท
Discuss: DEV
๐Ÿ“ฑEdge AI
Flag this post
Generative AI for Project Managers by Cloud Commercial Holdings LLC
dev.toยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
dev.toยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.comยท2dยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Flag this post
Field notes from making a living without writing a line of code
ag404labs.comยท19hยท
Discuss: Hacker News
๐Ÿ’ฐTigerBeetle
Flag this post
From Zero to AI Agent: How I Built Codexa in 24 Hours with Mastra and Telex.im
github.comยท1dยท
Discuss: DEV
๐Ÿ’ฌPrompt Engineering
Flag this post
Boost Your Development Skills with the Right Resources
dev.toยท19hยท
Discuss: DEV
๐ŸŒWeb Development
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.toยท1dยท
Discuss: DEV
โšกFastAPI
Flag this post
Top Open Source Tools for Kubernetes ML: From Development to Production
dev.toยท1dยท
Discuss: DEV
๐Ÿš€MLOps
Flag this post
Show HN: Astrobiology Search Engine (NASA Space Apps Global Nominee 2025)
github.comยท5hยท
Discuss: Hacker News
๐Ÿ”ŽInformation Retrieval
Flag this post
How to Merge Word Documents in Python: A Step-by-Step Automation Guide
dev.toยท17hยท
Discuss: DEV
๐ŸšShell Scripting
Flag this post
The Red Queen Code Review Pattern โ€” Perpetual Evolution in AI-Powered Development
dev.toยท19hยท
Discuss: DEV
๐Ÿฆ€Rust Macros
Flag this post
Official Native Java Support for Docling: Building Better Apps Just Got Easier
dev.toยท2dยท
Discuss: DEV
โšกFastAPI
Flag this post
The older I get, the better my code becomes
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งDevOps
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.aiยท1dยท
๐ŸŽญProgram Synthesis
Flag this post