Ask HN: Why does the US Visa application website do a port-scan of my network?

470 points by mbix77 14h ago 219 comments

Dagger and opencode and agnostic agents and SSH app = most portable dev kit

9 points by epuerta99 4h ago 1 comments

Tell HN: Somebody please make a faster task management system

3 points by pinkmuffinere 2h ago 3 comments

Ask HN: How do you get your devs to understand your customers?

10 points by ghiculescu 14h ago 18 comments

Warp sends a terminal session to LLM without user consent

88 points by ykurtov 1d ago 31 comments

Ask HN: What to do with a pure mathematics degree?

2 points by mareoclasico 9h ago 14 comments

AI might worsen diagnostics for physicians

14 points by BumperMike 15h ago 9 comments

What services or apps did you see abroad and wonder: why don't we have them?

39 points by ekusiadadus 1d ago 79 comments

Ask HN: How can I use AlarmKit at expo/React Native?

3 points by tntpreneur 14h ago 0 comments

When to Open Source

5 points by abdospices 14h ago 3 comments

Can someone review my Laravel code?

4 points by junebuggerz 22h ago 9 comments

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

849 points by marcjschmidt 7d ago 248 comments

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

441 points by nativeforks 7d ago 297 comments

Ask HN: Imagine coding LLM's 1M times faster; what uses might there be?

4 points by wewewedxfgdf 14h ago 4 comments

Ask HN: Do you still bookmark websites?

78 points by indus 4d ago 128 comments

Ask HN: SaaS Bookkeeping and Accounting

7 points by sp3ktrum 2d ago 7 comments

Ask HN: Are there any good educational computers for children that aren't toys?

4 points by laianav 1d ago 3 comments

Ask HN: Tell me about the best programmer you worked with

50 points by jvanderbot 3d ago 26 comments

Ask HN: Are we allowed to discuss Israel on HN?

19 points by Jimmc414 1d ago 16 comments

Ask HN: Has there been an increase in online censorship due to AI search's rise?

8 points by thisislife2 1d ago 3 comments

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

571 points by superasn 12d ago 364 comments

Ask HN: Founding Engineer/CTO (equity) for music rights/data infra (UK/US)

4 points by Ritwq 1d ago 0 comments

AI Is Not a Dev

4 points by tudorizer 1d ago 20 comments

My First $500 MRR – My thoughts and learnings

42 points by adrianobbe 2d ago 22 comments

Riff.nvim: Play YouTube music inside Neovim

6 points by Rits1272 1d ago 1 comments

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

65 points by _swfb 6d ago 119 comments

Ask HN: How to prepare for potential layoffs in this AI era?

5 points by ALostEngineer 19h ago 10 comments

How did Bresenham represented pixel grids to derive his line drawing algorithm?

3 points by shivajikobardan 1d ago 4 comments

Mozilla Firefox Is Dying

17 points by leonixyz 2d ago 23 comments

Lean Community

1 tzury 0 8/20/2025, 2:20:08 PM leanprover-community.github.io ↗

Comments (0)

No comments yet