VC-backed company just killed my EU trademark for a small OSS project

819 points by marcjschmidt 3d ago 238 comments

ChatGPT-5 System Prompt Leaked

3 points by ada1981 5h ago 5 comments

Ask HN: Tesla switching from "Godot" to "Unreal": is this ~informative?

6 points by zepearl 6h ago 4 comments

F-Droid build servers can't build modern Android apps due to outdated CPUs

429 points by nativeforks 3d ago 287 comments

Ask HN: How do you tune your personality to get better at interviews?

60 points by tombert 1d ago 112 comments

Ask HN: What are your favorite obscure but brilliant C/C++ libraries?

5 points by Forgret 17h ago 1 comments

Ask HN: How can ChatGPT serve 700M users when I can't run one GPT-4 locally?

565 points by superasn 7d ago 364 comments

Ask HN: Is the rise of AI tools going to be the next 'dot com' bust?

48 points by Dicey84 2d ago 39 comments

Ask HN: What alternatives to GitHub are you using?

86 points by yakattak 3d ago 95 comments

Individual Bestbuy email subscription pages are apparently indexed by Google

5 points by appel 1d ago 1 comments

Ask HN: What's your most valuable query to an LLM?

12 points by baalimago 1d ago 11 comments

Ask HN: How are you scaling AI agents reliably in production?

7 points by nivedit-jain 1d ago 1 comments

One weird trick to making Claude Code palatable to use

4 points by JSR_FDED 1d ago 8 comments

What would you name a new programming language?

6 points by TristanMB 1d ago 21 comments

Ask HN: How is Cognition able to raise at $10B?

4 points by thereitgoes456 1d ago 7 comments

Ask HN: What toolchains are people using for desktop app development in 2025?

110 points by lincoln20xx 6d ago 127 comments

Ask HN: What "developer holy war" have you flip-flopped on?

9 points by meowface 1d ago 29 comments

Ask HN: Do you use personal AI Agents?

10 points by kandros 1d ago 14 comments

Ask HN: Is Twilio necessary and required to build text and voice agents?

3 points by ky0ung 1d ago 9 comments

Ask HN: How do you connect with other founders in your city?

5 points by leonagano 1d ago 2 comments

Ask HN: Are there software engineering areas that are safe from LLMs invasion?

10 points by toxinu 2d ago 17 comments

Ask HN: What's stopping Guix from building static binaries for various targets?

6 points by tetris11 2d ago 3 comments

Ask HN: Is there an AI that can read code aloud and explain it?

6 points by djfobbz 2d ago 2 comments

Ask HN: Why Is My Happiness Tied to My Productivity?

31 points by hnquestion12345 4d ago 27 comments

My inbox is a mess from signing up for everything. How do you handle it?

8 points by cnohall 2d ago 16 comments

Ask HN: Why aren't more developers using AI tools?

7 points by dawie 1d ago 8 comments

Best area of AI to focus on for a front end developer?

7 points by polished85 2d ago 9 comments

What is the learning curve for using generative AI effectively?

5 points by eimrine 1d ago 1 comments

Typechecker Zoo

4 todsacerdoti 0 8/15/2025, 10:22:45 PM stephendiehl.com ↗

Comments (0)

No comments yet