Svelte Hacker News

A built-in 'off switch' to stop persistent pain (penntoday.upenn.edu)

184 points by gmays 20 hours ago | 90 comments

31

Automated Lean Proofs for Every Type (galois.com)

29 points by surprisetalk 4 days ago | 1 comment

32

Subway Builder: A realistic subway simulation game (subwaybuilder.com)

281 points by 0xbeefcab a day ago | 124 comments

33

The Prairie Farmers Preserving the Most Threatened Ecosystem – Forever (reasonstobecheerful.world)

20 points by PaulHoule 2 hours ago | 2 comments

34

A beginner's guide to deploying LLMs with AMD on Windows using PyTorch (gpuopen.com)

99 points by beckford 4 days ago | 27 comments

35

ScribeOCR – Web interface for recognizing text, OCR, & creating digitized docs (github.com)

92 points by atomicnature 4 days ago | 14 comments

36

Show HN: Open source, logical multi-master PostgreSQL replication (github.com)

130 points by pgedge_postgres 17 hours ago | 52 comments

37

Interactive Double Pendulum Playground (theabbie.github.io)

55 points by melector 2 days ago | 21 comments

38

How to write in Cuneiform (openculture.com)

99 points by PaulHoule 17 hours ago | 66 comments

39

Show HN: Rustacean AI – Tracking Rust's Expanding Role in AI (rustacean.ai)

4 points by nogueian 3 hours ago | 0 comments

40

A major evolution of Apple Security Bounty (security.apple.com)

22 points by jacopoj 7 hours ago | 7 comments

41

Embracing the parallel coding agent lifestyle (simonwillison.net)

159 points by jbredeche 4 days ago | 127 comments

42

Hacker News Live Feed (jerbear2008.github.io)

229 points by gregsadetsky a day ago | 73 comments

43

Datastar: Lightweight hypermedia framework for building interactive web apps (data-star.dev)

165 points by freetonik 8 hours ago | 172 comments

44

ESP32 and Termux (blog.gavide.dev)

127 points by gavide a day ago | 42 comments

45

Microsoft lets bosses spot teams that are dodging Copilot (theregister.com)

7 points by mikece 42 minutes ago | 5 comments

46

Using a laptop as an HDMI monitor for an SBC (danielmangum.com)

150 points by hasheddan a day ago | 84 comments

47

The Burrows-Wheeler Transform (sandbox.bio)

139 points by g0xA52A2A 20 hours ago | 32 comments

48

A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises (words.filippo.io)

7 points by agwa an hour ago | 0 comments

49

HeroRATs (apopo.org)

7 points by thunderbong 2 hours ago | 0 comments

50

After nine years of grinding, Replit found its market. Can it keep it? (techcrunch.com)

52 points by toomanyrichies 5 days ago | 46 comments

51

Neutts-air – Open-source, on device TTS (github.com)

89 points by nopelynopington 4 days ago | 21 comments

52

Vexing Exceptions (ericlippert.com)

18 points by CGamesPlay 13 hours ago | 3 comments

53

CPU cache-friendly data structures in Go (skoredin.pro)

175 points by g0xA52A2A 4 days ago | 64 comments

54

Show HN: I wrote a full text search engine in Go (github.com)

108 points by novocayn a day ago | 49 comments

55

The product of the railways is the timetable (springbett.substack.com)

69 points by NaOH 4 days ago | 63 comments

56

The government ate my name (slate.com)

135 points by notok 21 hours ago | 184 comments

57

Figure 03, our 3rd generation humanoid robot (figure.ai)

380 points by lairv a day ago | 381 comments

58