Tasks Per Day – A minimalist productivity app that works

2 points by TerrenceTian 1h ago 0 comments

Ask HN: Management wants to talk to my Datalake. What's the best way to do this?

2 points by GaiusCoffee 5h ago 1 comments

Ask HN: How are people using ChatGPT to increase productivity in personal life?

6 points by shreythecray 7h ago 5 comments

Can we take a moment to appreciate what kind of web experience we are building?

7 points by tomdesantis 5h ago 5 comments

Ask HN: What are you working on? (May 2025)

340 points by david927 4d ago 1054 comments

Ask HN: What projects do you donate to?

275 points by xeonmc 6d ago 283 comments

Ask HN: Career Plateau: Looking for Advice on How to Break Through

5 points by vaderyondu 11h ago 6 comments

Ask HN: What's the best tool you've used for sprint planning in 2025?

4 points by jackh04878 17h ago 14 comments

Ask HN: Are AIs intentionally weak at debugging their code?

5 points by amichail 14h ago 6 comments

Ask HN: Ban streaming services from playing the same commercial constantly?

2 points by amichail 17h ago 7 comments

Google will delete OAuth clients falsely flagged as unused

8 points by panstromek 19h ago 7 comments

Al-LLM powered eBPF based security platform

5 points by gaurav1086 1d ago 2 comments

Ask HN: Anyone struggling to get value out of coding LLMs?

331 points by bjackman 3d ago 271 comments

Best Buy is selling a $400 "digital Ethernet" cable for "cleaner, clearer sound"

11 points by 34679 1d ago 12 comments

Ask HN: Why that many more US-based companies are hiring "US-only" remote?

18 points by soneca 2d ago 15 comments

Reverse engineering Twitter's new WASM-based "X-XP-Forwarded-For" antibot header

14 points by dsekz 19h ago 4 comments

Ask HN: Am I old?

15 points by zwilderrr 1d ago 30 comments

Ask HN: Is anyone using AI conversation partners?

21 points by rickcarlino 2d ago 33 comments

Ask HN: How do I start my own cybersecurity related company?

4 points by babuloseo 1d ago 4 comments

Lost in AI-translation

2 points by anonimildo 1d ago 0 comments

Ask HN: Go deep into AI/LLMs or just use them as tools?

194 points by pella_may 5d ago 133 comments

Ask HN: Building LLM apps? How are you handling user context?

30 points by marcospassos 3d ago 18 comments

Ask HN: Any modern mobile friendly family tree / genealogy builders?

4 points by sherdil2022 1d ago 5 comments

SQLite is 25 years old today

22 points by marcobambini 15h ago 2 comments

What's your "coworker didn't lock screen" procedure?

6 points by vonunov 2d ago 23 comments

Ask HN: Is this Tetris variant novel? Would it be fun?

3 points by amichail 2d ago 2 comments

Ask HN: Would you be interested in OpenRouter for MCPs?

3 points by subramanya1997 1d ago 1 comments

Ask HN: What HN posts inspired or changed your perspective the most?

51 points by hungle9 7d ago 24 comments

Ask HN: Merge Request Review Agent?

3 points by surrTurr 2d ago 6 comments

What's been your biggest technical bottleneck as a small startup lately?

8 points by devralcomp 4d ago 13 comments

It Survives Because It Collapsed: Three AIs, One Residue

2 points by Ace__ 2d ago 1 comments

Every wondered how Facebook spoofs Gmail message list snippet text?

87 points by chrisjj 3d ago 60 comments

Ask HN: Why does MCP need to exist?

11 points by kostyal 2d ago 7 comments

Ask HN: Do you have a side project you're getting tired of?

30 points by gdulli 7d ago 26 comments

Ask HN: Can you give tips on writing a README for project?

6 points by vseplet 5d ago 7 comments

Frege Is a Haskell for the JVM

5 vram22 2 5/28/2025, 1:45:10 AM github.com ↗

Comments (2)

vram22 · 2d ago

From the site:

What is Frege?

Winner of the JavaOne Emerging Languages Bowl 2015, 2016, 2017

Frege is a Haskell for the JVM.

Like any Haskell, it is purely functional, enjoys a strong static type system with global type inference and non-strict - also known as lazy - evaluation.

Frege compiles to Java, runs on the JVM, and uses any Java library you want. It can be used inside any Java project.

cubefox · 2d ago

Come on, Frege is the greatest logician since Aristotle, not some JVM port.