Your fingers wrinkle the same way every time you're in the water too long (binghamton.edu)

77 points by gnabgib 2h ago 24 comments

Type-constrained code generation with language models (arxiv.org)

84 points by tough 3h ago 41 comments

DeepSeek’s ‘tech madman’ founder is threatening US dominance in AI race (bloomberg.com)

15 points by blumpy22 58m ago 7 comments

Branch Privilege Injection: Exploiting branch predictor race conditions (comsec.ethz.ch)

327 points by alberto-m 9h ago 131 comments

Flattening Rust's learning curve (corrode.dev)

75 points by birdculture 3h ago 49 comments

Map of Palaeohispanic Coins and Inscriptions (hesperia.ucm.es)

14 points by brendanashworth 1h ago 0 comments

Airbnb Is in Midlife Crisis Mode (wired.com)

32 points by thomasjudge 6h ago 30 comments

Build real-time knowledge graph for documents with LLM (cocoindex.io)

77 points by badmonster 6h ago 14 comments

Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)

221 points by logic_node 11h ago 172 comments

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)

107 points by taubek 3d ago 69 comments

Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses

163 points by bestwillcui 13h ago 89 comments

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com)

124 points by GeorgeCurtis 8h ago 51 comments

When graphic design saves lives (news.harvard.edu)

22 points by gnabgib 3d ago 1 comments

PDF to Text, a challenging problem (marginalia.nu)

234 points by ingve 11h ago 127 comments

Multiple security issues in GNU Screen (openwall.com)

340 points by st_goliath 14h ago 203 comments

A visual history of the safety pin (museumofeverydaylife.org)

10 points by andsoitis 2d ago 0 comments

It Awaits Your Experiments (rifters.com)

133 points by pavel_lishin 10h ago 44 comments

Coffee for people who don't like coffee (ostwilkens.se)

33 points by ostwilkens 3d ago 91 comments

How (memory) safe is Zig? (2021) (scattered-thoughts.net)

25 points by vortex_ape 3h ago 20 comments

Garbage collection of object storage at scale (warpstream.com)

43 points by ko_pivot 3d ago 6 comments

A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)

19 points by jjgreen 3d ago 0 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (cs.drexel.edu)

19 points by throwaway71271 4h ago 8 comments

The world could run on older hardware if software optimization was a priority (twitter.com)

587 points by turrini 15h ago 555 comments

I learned Snobol and then wrote a toy Forth (ratfactor.com)

118 points by ingve 2d ago 31 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

58 points by tanelpoder 8h ago 14 comments

Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)

32 points by matt_d 5h ago 3 comments

Membrane: Media Framework for Elixir (membrane.stream)

118 points by lawik 3d ago 36 comments

Insurers launch cover for losses caused by AI chatbot errors (ft.com)

116 points by jmacd 2d ago 43 comments

Turritopsis dohrnii: Immortal jellyfish (nhm.ac.uk)

37 points by vinnyglennon 4d ago 9 comments

Starcloud (ycombinator.com)

136 points by wiley1454 5h ago 265 comments

Binary Formats Are Better Than JSON in Browsers (adamfaulkner.github.io)

8 points by adamkf 3h ago 1 comments

In a high-stress work environment, prioritize relationships (wqtz.bearblog.dev)

298 points by wqtz 12h ago 186 comments

The great displacement is already well underway? (shawnfromportland.substack.com)

286 points by JSLegendDev 1d ago 292 comments

A Taxonomy of Bugs (ruby0x1.github.io)

44 points by lissine 10h ago 14 comments

TheForger's Win32 API Tutorial (winprog.org)

57 points by xeonmc 12h ago 5 comments

Odin: A programming language made for me (zylinski.se)

166 points by gingerBill 17h ago 180 comments

One hundred and one rules of effective living (mitchhorowitz.substack.com)

86 points by mathgenius 14h ago 83 comments

D Slices (dlang.org)

6 points by teleforce 3h ago 0 comments

Android and Wear OS are getting a redesign (blog.google)

46 points by whatever3 6h ago 95 comments

Cracking the Dave and Buster's Anomaly (rambo.codes)

25 points by CharlesW 9h ago 0 comments

Why are banks still getting authentication so wrong? (jamal.haba.sh)

235 points by kamikazee 7h ago 307 comments

Mozilla Firefox – Official GitHub repo (github.com)

782 points by thefilmore 20h ago 426 comments

Mill as a direct style build tool (mill-build.org)

32 points by lihaoyi 3d ago 6 comments

Don't unwrap options: There are better ways (2024) (corrode.dev)

88 points by mu0n 8h ago 52 comments

Ask HN: How are you acquiring your first hundred users?

473 points by amanchanda 17h ago 299 comments

Why are coffee stains darker at the edges? (why.is)

129 points by michalpleban 2d ago 44 comments

Show HN: A5 (github.com)

80 points by pheelicks 16h ago 26 comments

PyPI Organizations (2023) (blog.pypi.org)

39 points by calpaterson 8h ago 12 comments

Show HN: Basecoat – shadcn/UI components, no React required

106 points by hunvreus 14h ago 62 comments

Detecting if an expression is constant in C (nrk.neocities.org)

37 points by signa11 4d ago 14 comments

Terminal Trove: $HOME of all things in the terminal

3 sundarurfriend 0 5/13/2025, 3:20:13 PM terminaltrove.com ↗

Comments (0)

No comments yet