Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com)

564 points by nicolas-siplis 1 month ago | 287 comments

Landing page for Bend, a fast programming language with Python-like syntax, CUDA parallelism, and Lean-style proofs to verify AI-written code.

Bun, JavaScript, and TCO(onsclom.net)

157 points by tosh 2 years ago | 129 comments

Launch HN: Issen (YC F24) – Personal AI language tutor

298 points by mariano54 1 year ago | 263 comments

Show HN: A Google Reader-inspired RSS reader(boredreading.com)

65 points by khet 3 years ago | 46 comments

America's fastest-growing suburbs are about to get expensive(vox.com)

10 points by littlexsparkee 1 year ago | 6 comments

Bun v0.7.0(bun.sh)

175 points by sshroot 3 years ago | 125 comments

Show HN: Proa – A Rust web framework with fast SSR and multi-target rendering(proa.so)

90 points by burnrate 11 days ago | 25 comments

Landing page for Proa, a batteries-included Rust web framework focused on fast server-side rendering and composable multi-target rendering.

Ask HN: How can I grow as an engineer without good seniors to learn from?

443 points by prathameshgh 1 year ago | 272 comments

Ask HN post from a new-graduate data engineer acting as tech lead at a non-tech oil company, asking how to grow without senior engineers to learn from.

Show HN: Hacker News frontpage as a print newspaper that you can personalize(yourhackernews.com)

510 points by nimbusega 1 year ago | 120 comments

A site that renders the Hacker News front page in a print-newspaper layout and lets users like or dislike stories to get personalized recommendations.

Show HN: NSL – WSL for Linux(frostyard.github.io)

142 points by bketelsen 27 days ago | 86 comments

Project page for nsl, a tool that gives Linux hosts persistent distro environments via systemd-nspawn containers in a small VM, mimicking WSL.

Show HN: Boardzilla, a framework for making web-based board games(boardzilla.io)

504 points by joshbuddy 2 years ago | 90 comments

Landing page for Boardzilla, a beta framework and platform for building and playing web-based digital board games with TypeScript.

Ask HN: How to learn marketing and sales as a solo entrepreneur?

427 points by yu3zhou4 1 year ago | 164 comments

Ask HN thread where a developer who failed to commercialize several products asks for resources on learning marketing and sales as a solo entrepreneur.