Svelte Hacker News

My AI skeptic friends are all nuts (fly.io)

442 points by tabletcorry 2 hours ago | 594 comments

1

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com)

20 points by todsacerdoti an hour ago | 4 comments

2

Snowflake to buy Crunchy Data for $250M (wsj.com)

73 points by mfiguiere 3 hours ago | 35 comments

3

Ask HN: Who is hiring? (June 2025)

230 points by whoishiring 8 hours ago | 225 comments

4

Show HN: I build one absurd web project every month (absurd.website)

74 points by absurdwebsite 3 hours ago | 23 comments

5

Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)

6 points by Jtsummers an hour ago | 1 comment

6

Show HN: Kan.bn – An open-source alterative to Trello (github.com)

322 points by henryball 14 hours ago | 138 comments

7

Decorative Text Within HTML (shkspr.mobi)

56 points by tobr 6 hours ago | 4 comments

8

CVE 2025 31200 (blog.noahhw.dev)

79 points by todsacerdoti 4 hours ago | 21 comments

9

How to post when no one is reading (jeetmehta.com)

480 points by j4mehta 19 hours ago | 217 comments

10

Japanese Scientists Develop Artificial Blood Compatible with All Blood Types (tokyoweekender.com)

38 points by Geekette 2 hours ago | 8 comments

11

Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)

76 points by b0a04gl 4 hours ago | 100 comments

12

Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com)

309 points by hoakiet98 4 days ago | 72 comments

13

Show HN: A toy version of Wireshark (student project) (github.com)

181 points by lixiasky 8 hours ago | 55 comments

14

Arcol simplifies building design with browser-based modeling (arcol.io)

41 points by joeld42 7 hours ago | 23 comments

15

Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer (ycombinator.com)

6 hours ago

16

Show HN: Penny-1.7B Irish Penny Journal style transfer (huggingface.co)

120 points by deepsquirrelnet 8 hours ago | 69 comments

17

ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)

82 points by elcritch 13 hours ago | 19 comments

18

Can I stop drone delivery companies flying over my property? (rte.ie)

53 points by austinallegro 4 hours ago | 109 comments

19

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

87 points by whoishiring 8 hours ago | 214 comments

20

Mesh Edge Construction (maxliani.wordpress.com)

31 points by atomlib 8 hours ago | 1 comment

21

TradeExpert, a trading framework that employs Mixture of Expert LLMs (arxiv.org)

100 points by wertyk 13 hours ago | 94 comments

22

Intelligent Agent Technology: Open Sesame! (1993) (blog.gingerbeardman.com)

35 points by msephton 2 days ago | 2 comments

23

Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com)

344 points by gregorywegory 9 hours ago | 261 comments

24

A Hidden Weakness (serge-sans-paille.github.io)

26 points by serge-ss-paille 9 hours ago | 1 comment

25

Ask HN: How do I learn robotics in 2025?

246 points by srijansriv 10 hours ago | 72 comments

26

The Princeton INTERCAL Compiler's source code (esoteric.codes)

129 points by surprisetalk 21 hours ago | 32 comments

27

Reducing Cargo target directory size with -Zno-embed-metadata (kobzol.github.io)

42 points by todsacerdoti 10 hours ago | 11 comments

28