Svelte Hacker News

Yggdrasil Network (yggdrasilnetwork.org)

10 points by udev4096 18 hours ago | 3 comments

61

Verified dynamic programming with Σ-types in Lean (tannerduve.github.io)

83 points by rck 5 days ago | 36 comments

62

Show HN: Inspect and extract files from MSI installers directly in your browser (pymsi.readthedocs.io)

126 points by rmast 2 days ago | 21 comments

63

Cross-Compilation Toolchains for Linux (toolchains.bootlin.com)

21 points by jstrieb 4 days ago | 0 comments

64

The Unreasonable Effectiveness of Fuzzing for Porting Programs (rjp.io)

24 points by dlwh 4 days ago | 4 comments

65

Visualizing environmental costs of war in Hayao Miyazaki's Nausicaä (jgeekstudies.org)

249 points by zdw 2 days ago | 66 comments

66

A Python-first data lakehouse (bauplanlabs.com)

137 points by akshayka 4 days ago | 46 comments

67

Open source can't coordinate? (matklad.github.io)

178 points by LorenDB 2 days ago | 245 comments

68

College baseball, venture capital, and the long maybe (bcantrill.dtrace.org)

173 points by bcantrill 6 days ago | 127 comments

69

Agentic Misalignment: How LLMs could be insider threats (anthropic.com)

93 points by helloplanets a day ago | 84 comments

70

Show HN: Nxtscape – an open-source agentic browser (github.com)

297 points by felarof 2 days ago | 194 comments

71

Klong: A Simple Array Language (t3x.org)

126 points by tosh 2 days ago | 65 comments

72

Developing a Retro-Roguelike Game for Multiple Platforms in C (retrogamecoders.com)

8 points by ingve 20 hours ago | 0 comments

73

On memes, mimetic desire, and why it's always that deep (caitlynclark.substack.com)

44 points by lawrenceyan 2 days ago | 27 comments

74

Discover C++26's compile-time reflection (lemire.me)

7 points by mfiguiere 6 hours ago | 0 comments

75

Hurl: Run and test HTTP requests with plain text (github.com)

445 points by flykespice 2 days ago | 102 comments

76

Wikimedia DNS (meta.wikimedia.org)

16 points by LeoPanthera 10 hours ago | 6 comments

77

Show HN: lambda-nat-proxy – Serverless proxy using Lambda and UDP NAT punching (github.com)

16 points by danvittegleo 5 days ago | 9 comments

78

Show HN: SnapQL – Desktop app to query Postgres with AI (github.com)

94 points by nicktikhonov 2 days ago | 71 comments

79

Behind the scenes: Redpanda Cloud's response to the GCP outage (redpanda.com)

76 points by eatonphil 18 hours ago | 33 comments

80

Wiki Radio: The thrilling sound of random Wikipedia (monkeon.co.uk)

145 points by if-curious a day ago | 32 comments

81

Oklo, the Earth's Two-billion-year-old only Known Natural Nuclear Reactor (2018) (iaea.org)

198 points by keepamovin 2 days ago | 114 comments

82

Munich from a Hamburger's perspective (mertbulan.com)

137 points by toomuchtodo 7 days ago | 132 comments

83

Show HN: I Built a Site That Curates Weird YouTube Rabbit Holes Daily (yourabbit.com)

50 points by bas_sen 2 days ago | 12 comments

84

An analysis of recent multithreading improvements for a smoother game (dev.arma3.com)

62 points by diggan 5 days ago | 16 comments

85

The Art of Bijective Combinatorics (viennot.org)

19 points by doubledamio 3 days ago | 0 comments

86

See Jane 128 by Arktronics run (ft. Magic Desk, 3-Plus-1 and the Thomson MO5) (oldvcr.blogspot.com)

13 points by classichasclass 9 hours ago | 0 comments

87

AMD's Freshly-Baked MI350: An Interview with the Chief Architect (chipsandcheese.com)

127 points by pella a day ago | 68 comments

88