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

272 points by superasn 6h ago 189 comments

Ask HN: Should brain implants be available for everyone as a productivity boost?

2 points by amichail 3h ago 4 comments

Ask HN: Has any of the Pivotal Tracker replacement attempts succeeded?

43 points by admissionsguy 4d ago 33 comments

Ask HN: How would you build second brain in the AI era?

5 points by divan 7h ago 3 comments

What's Your Favorite LLM –and Why?

5 points by zyruh 2h ago 3 comments

GPT-5 streaming requires submission of biometric data

16 points by binarymax 11h ago 5 comments

Ask HN: What trick of the trade took you too long to learn?

370 points by unsupp0rted 4d ago 643 comments

ChatGPT-5 Can't Do Basic Math

9 points by MarcellusDrum 6h ago 5 comments

Ask HN: Are you running local LLMs? What are your key use cases?

10 points by briansun 11h ago 11 comments

Tell HN: Anthropic expires paid credits after a year

269 points by maytc 3d ago 135 comments

Tell HN: I underestimated how lonely building solo can be

119 points by paulwilsonn 6d ago 86 comments

White Paper: Contribution-Based Governance for Developer Communities

4 points by ff12wq111 10h ago 2 comments

Ask HN: Have you ever regretted open-sourcing something?

265 points by paulwilsonn 6d ago 412 comments

Ask HN: What do you dislike about ChatGPT and what needs improving?

32 points by zyruh 2d ago 122 comments

Tell HN: Charles Irby has passed away

29 points by steven123 1d ago 4 comments

Ask HN: Who wants to be hired? (August 2025)

116 points by whoishiring 7d ago 372 comments

Ask HN: Which processor to pick for learning assembly?

7 points by shivajikobardan 16h ago 6 comments

Tell HN: Thing I learned this year was keeping a work journal

10 points by Muromec 15h ago 4 comments

Ask HN: Recommendations for specification management software?

7 points by gusmally 1d ago 1 comments

Ask HN: Who is hiring? (August 2025)

238 points by whoishiring 7d ago 393 comments

Flycrypto – Book Flights and Hotels with Bitcoin and Crypto

3 points by flycrypto 21h ago 2 comments

Ask HN: Wywd with a 256gb/40c 300tb/month server?

2 points by AgentMatrixAI 1d ago 3 comments

Ask HN: Why Did Mercurial Die?:(

29 points by sergiotapia 3d ago 32 comments

Ask HN: Using Stripe Atlas to start a LLC for a small side project?

4 points by zffr 1d ago 3 comments

CuWise – AI-Powered CUDA Optimization Assistant

2 points by raghu_dev 1d ago 1 comments

How does GCP detect crypto mining within a VM?

4 points by drydenwilliams 1d ago 6 comments

Ask HN: What change enabled you to consistently finish your side projects?

49 points by pillefitz 4d ago 39 comments

Why are so many companies pushing for AI adoption by developers?

6 points by alcasa 1d ago 12 comments

Ask HN: Transition back to job market in 40s

14 points by chugchug 2d ago 7 comments

Ask HN: What are you looking for in an AI agent framework/BaaS?

2 points by ishita159 1d ago 1 comments

Ask HN: Would you soft-launch a landing page in 2025?

3 points by CER10TY 1d ago 5 comments

Lurk – A Turing-complete programming language for ZK-SNARKs

32 diggan 2 8/8/2025, 5:03:50 PM github.com ↗

Comments (2)

vincent-manis · 5h ago

“Lurk's distinguishing feature relative to most programming languages is that the correct execution of Lurk programs can be directly proved using SNARKs.”

Do these proofs involve boojums?

noman-land · 5h ago

Curious if there'a any demo apps that are actually deployed that were built with Lurk. It would be nice to see a whole end to end app working, not just example Lurk code.