Why Algebraic Effects? (antelang.org)

41 points by jiggawatts 1h ago 5 comments

Postgres IDE in VS Code (techcommunity.microsoft.com)

738 points by Dowwie 13h ago 301 comments

Mermaid: Generation of diagrams like flowcharts or sequence diagrams from text (github.com)

91 points by olalonde 2d ago 39 comments

Find Your People (foundersatwork.posthaven.com)

437 points by jl 12h ago 180 comments

Modification of acetaminophen to reduce liver toxicity and enhance drug efficacy (societyforscience.org)

126 points by felineflock 3h ago 42 comments

Show HN: Genetic Boids Web Simulation (attentionmech.github.io)

111 points by vimgrinder 8h ago 28 comments

Show HN: HNRelevant – Add a "related" section to Hacker News (github.com)

29 points by imadj 3h ago 3 comments

Startup enables 100-year bridges with corrosion-resistant steel (news.mit.edu)

23 points by rbanffy 2d ago 33 comments

The world of Japan's PC-98 computer (strangecomforts.com)

73 points by ecliptik 7h ago 26 comments

Planet squeezed in between two stars (arstechnica.com)

13 points by Archelaos 1d ago 5 comments

Show HN: Embedo – Word Equation Puzzle Game

5 points by sungchi 1d ago 0 comments

Show HN: I built a more productive way to manage AI chats (contextch.at)

80 points by tapeo 7h ago 33 comments

Show HN: DoubleMemory – more efficient local-first read-it-later app (doublememory.com)

104 points by randomor 9h ago 30 comments

Root for your friends (josephthacker.com)

110 points by rez0123 4h ago 28 comments

Positional preferences, order effects, prompt sensitivity undermine AI judgments (cip.org)

114 points by joalstein 11h ago 60 comments

A Formal Proof of Complexity Bounds on Diophantine Equations (arxiv.org)

63 points by badmonster 8h ago 7 comments

A Bead Too Far: Rethinking Global Connections Before Columbus (peterfrankopan.substack.com)

30 points by themgt 13h ago 4 comments

Show HN: Web Apps for Python Devs with Auto-Generated UI (davia.ai)

11 points by ruben-davia 2h ago 0 comments

Show HN: High-resolution surface analysis with Lidar data (github.com)

14 points by folli 2d ago 0 comments

Caesar's Last Breath (charliesabino.com)

133 points by charliesabino 13h ago 58 comments

Visual Studio Code: Text Buffer Reimplementation (2018) (code.visualstudio.com)

30 points by stefankuehnel 3d ago 0 comments

UndoDB – The interactive time travel debugger for Linux C/C++ for debugging (undo.io)

47 points by droideqa 7h ago 22 comments

Types of optical systems in a lens designer's toolbox (2020) (pencilofrays.com)

64 points by picture 9h ago 11 comments

Beyond Semantics: Unreasonable Effectiveness of Reasonless Intermediate Tokens (arxiv.org)

107 points by nyrikki 12h ago 50 comments

How to live on $432 a month in America (shagbark.substack.com)

230 points by cactusplant7374 11h ago 380 comments

Why I no longer have an old-school cert on my HTTPS site (rachelbythebay.com)

253 points by mcbain 17h ago 247 comments

The metre originated in the French Revolution (abc.net.au)

87 points by Tomte 12h ago 138 comments

Show HN: GetStack.dev – Track GitHub open-source trends (getstack.dev)

24 points by h1fra 20h ago 8 comments

Writing A Job Runner (In Elixir) (Again) (10 years later) (github.com)

133 points by rhgraysonii 17h ago 37 comments

Designing type inference for high quality type errors (blog.polybdenum.com)

64 points by PaulHoule 4d ago 13 comments

Into The Tunnel: The secret life of wind tunnels (jordanwtaylor2.substack.com)

60 points by iamwil 11h ago 9 comments

MCP is the coming of Web 2.0 2.0 (anildash.com)

200 points by freediver 12h ago 164 comments

Tallest Wooden Wind Turbine (modvion.com)

169 points by Bluestein 4d ago 120 comments

Remembering Alasdair MacIntyre (wordonfire.org)

129 points by danielam 16h ago 59 comments

Sesame Scheme: Unintended Consequences of Allergen Food Labeling (choicesmagazine.org)

44 points by hilux 11h ago 27 comments

The Curious Case of the Pygmy Nuthatch (slate.com)

118 points by prawn 2d ago 16 comments

Show HN: Samchika – A Java Library for Fast, Multithreaded File Processing (github.com)

60 points by mprataps 14h ago 45 comments

John Carmack talk at Upper Bound 2025 (twitter.com)

497 points by tosh 23h ago 327 comments

Satellites Spotting Depth (tech.marksblogg.com)

88 points by marklit 2d ago 25 comments

From RPC to transactions and durable executions (pramodb.com)

13 points by pramodbiligiri 2d ago 0 comments

Does Earth have two high-tide bulges on opposite sides? (2014) (physics.stackexchange.com)

286 points by imurray 1d ago 86 comments

Show HN: hcker.news – an ergonomic, timeline-based Hacker News front page (hcker.news)

143 points by postalcoder 9h ago 66 comments

'Turbocharged' Mitochondria Power Birds' Epic Migratory Journeys (quantamagazine.org)

74 points by pseudolus 4d ago 17 comments

KumoRFM: A Foundation Model for In-Context Learning on Relational Data (kumo.ai)

102 points by cliffly 21h ago 18 comments

We’ll be ending web hosting for your apps on Glitch (blog.glitch.com)

205 points by js4ever 1d ago 129 comments

Mozilla to shut down Pocket and Fakespot (support.mozilla.org)

1155 points by phantomathkg 1d ago 715 comments

The Transwedge Product (terathon.com)

9 points by ibobev 8h ago 1 comments

Reverse Engineering iOS Shortcuts Deeplinks (blog.alexbeals.com)

12 points by dado3212 9h ago 0 comments

Fast Allocations in Ruby 3.5 (railsatscale.com)

258 points by tekknolagi 1d ago 65 comments

On "Vibe Coding" (tante.cc)

5 points by cratermoon 6h ago 1 comments

Discord might use AI to help you catch up on conversations

1 lentoutcry 0 5/23/2025, 5:20:32 PM theverge.com ↗

Comments (0)

No comments yet