The Sail instruction-set semantics specification language (alasdair.github.io)

42 points by weinzierl 4 days ago | 8 comments

31

Less rain, more wheat: How Australian farmers defied climate doom (reuters.com)

3 points by tiarafawn 33 minutes ago | 0 comments

32

More honey bees dying, even as antibiotic use halves (news.uoguelph.ca)

207 points by pseudolus 15 hours ago | 142 comments

33

Playing with Open Source LLMs (alicegg.tech)

64 points by zer0tonin 16 hours ago | 46 comments

34

Maru OS – Use your phone as your PC (maruos.com)

243 points by fsflover 15 hours ago | 169 comments

35

State Capacity and Eight Parking Spaces (brethorsting.com)

4 points by aaronbrethorst 4 hours ago | 0 comments

36

Show HN: A GitHub Action that quizzes you on a pull request (github.com)

84 points by dkamm 16 hours ago | 30 comments

37

Linux Performance Analysis (2015) (netflixtechblog.com)

173 points by benjacksondev 21 hours ago | 36 comments

38

A grand tour through the essays of Lewis H. Lapham (laphamsquarterly.org)

35 points by samclemens 4 days ago | 3 comments

39

Project Zero – Policy and Disclosure: 2025 Edition (googleprojectzero.blogspot.com)

94 points by esnard 20 hours ago | 31 comments

40

Measuring Engineering (fffej.substack.com)

30 points by mooreds 3 days ago | 12 comments

41

The Making of Dario Amodei (bigtechnology.com)

48 points by spenvo 16 hours ago | 12 comments

42

Dropbox Passwords discontinuation (help.dropbox.com)

65 points by h1fra 15 hours ago | 52 comments

43

Phenome-wide analysis of diseases in relation to sleep traits (spj.science.org)

31 points by alex77456 12 hours ago | 9 comments

44

The Convenience Trap: Why Seamless Banking Access Can Turn 2FA into 1FA (blog.opencore.ch)

59 points by ocrb 19 hours ago | 53 comments

45

Revontuli Colorscheme Collection (codeberg.org)

4 points by todsacerdoti 3 days ago | 0 comments

46

Enough AI copilots, we need AI HUDs (geoffreylitt.com)

941 points by walterbell 2 days ago | 265 comments

47

Microsoft Introduces 'Copilot Mode' in Edge (blogs.windows.com)

56 points by Bogdanp 19 hours ago | 99 comments

48

Pkgbase Removes FreeBSD Base System Feature (lists.freebsd.org)

28 points by vermaden 10 hours ago | 24 comments

49

Cucumber lets you write automated tests in plain language (cucumber.io)

57 points by nateb2022 21 hours ago | 60 comments

50

The Saltgator: A Desktop SoftGel Injection Molding Machine (core77.com)

57 points by surprisetalk 3 days ago | 21 comments

51

Someone made a 128k line PR to OpenCut (github.com)

80 points by agtestdvn 11 hours ago | 73 comments

52

Rotring 600 Ballpoint Pen (shellshore.com)

182 points by Alupis 5 days ago | 191 comments

53

Wikimedia Foundation Challenges UK Online Safety Act Regulations (wikimediafoundation.org)

376 points by Nurw a day ago | 182 comments

54

Stanford’s Department of Management Science and Engineering (poetsandquants.com)

47 points by curioustock 16 hours ago | 29 comments

55

Tour de France confronts a new threat: Are cyclists using tiny motors? (washingtonpost.com)

129 points by bookofjoe 5 days ago | 312 comments

56

Most Watched Software Engineering Talks Of 2025 (so far) (techtalksweekly.io)

6 points by hal918 2 hours ago | 0 comments

57

Linux 6.16: faster file systems, improved confidential memory, more Rust support (zdnet.com)

145 points by CrankyBear 17 hours ago | 48 comments

58

Truchet Tiles (en.wikipedia.org)

118 points by downboots 4 days ago | 27 comments

59

Show HN: Monchromate – Smart greyscale browser extension (monochromate.lirena.in)

38 points by lirena00 16 hours ago | 5 comments

60

More...