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

104 points by tough 4h ago 45 comments

Flattening Rust's learning curve (corrode.dev)

94 points by birdculture 4h ago 69 comments

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

332 points by alberto-m 10h ago 131 comments

I’ve built an IoT device to let my family know when I’m in a meeting (nullonerror.org)

14 points by delduca 2d ago 9 comments

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

37 points by blumpy22 1h ago 21 comments

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

85 points by badmonster 7h ago 16 comments

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

229 points by logic_node 12h ago 183 comments

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

116 points by taubek 3d ago 72 comments

I failed a take-home assignment from Kagi Search (bloggeroo.dev)

16 points by josecodea 42m ago 3 comments

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

30 points by gnabgib 3d ago 2 comments

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

167 points by bestwillcui 14h ago 91 comments

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

130 points by GeorgeCurtis 9h ago 54 comments

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

240 points by ingve 11h ago 131 comments

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

15 points by brendanashworth 2h ago 0 comments

Airbnb is in midlife crisis mode (wired.com)

62 points by thomasjudge 7h ago 89 comments

Multiple security issues in GNU Screen (openwall.com)

349 points by st_goliath 15h ago 211 comments

Fingers wrinkle the same way every time they’re in the water too long (binghamton.edu)

89 points by gnabgib 3h ago 34 comments

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

13 points by andsoitis 2d ago 0 comments

Replicube: A puzzle game about writing code to create shapes (store.steampowered.com)

3 points by poetril 1h ago 0 comments

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

49 points by ko_pivot 3d ago 8 comments

It Awaits Your Experiments (rifters.com)

137 points by pavel_lishin 11h ago 45 comments

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

40 points by ostwilkens 3d ago 111 comments

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

31 points by vortex_ape 4h ago 25 comments

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

24 points by jjgreen 3d ago 0 comments

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

598 points by turrini 16h ago 566 comments

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

22 points by throwaway71271 5h ago 11 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

64 points by tanelpoder 9h ago 14 comments

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

120 points by ingve 2d ago 31 comments

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

35 points by matt_d 6h ago 4 comments

Membrane: Media Framework for Elixir (membrane.stream)

122 points by lawik 3d ago 36 comments

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

38 points by vinnyglennon 4d ago 10 comments

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

290 points by JSLegendDev 1d ago 301 comments

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

120 points by jmacd 2d ago 45 comments

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

300 points by wqtz 13h ago 185 comments

Starcloud (ycombinator.com)

136 points by wiley1454 6h ago 270 comments

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

168 points by gingerBill 18h ago 185 comments

TheForger's Win32 API Tutorial (winprog.org)

57 points by xeonmc 13h ago 6 comments

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

86 points by mathgenius 15h ago 84 comments

A Taxonomy of Bugs (ruby0x1.github.io)

45 points by lissine 11h ago 14 comments

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

11 points by adamkf 4h ago 1 comments

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

28 points by CharlesW 9h ago 1 comments

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

48 points by whatever3 7h ago 97 comments

Mozilla Firefox – Official GitHub repo (github.com)

784 points by thefilmore 21h ago 428 comments

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

240 points by kamikazee 8h ago 317 comments

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

475 points by amanchanda 18h ago 302 comments

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

129 points by michalpleban 2d ago 44 comments

D Slices (dlang.org)

6 points by teleforce 4h ago 0 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)

89 points by mu0n 9h ago 52 comments

Show HN: A5 (github.com)

81 points by pheelicks 16h ago 26 comments

ChatGPT vs. Nazi Encryption: Why Enigma Wouldn't Stand a Chance Today

1 ulrischa 1 5/13/2025, 5:02:12 PM gizmodo.com ↗

Comments (1)

bradgranath · 29m ago

"Woah, man, GPUs are fast..."

Flagged. Kinja Clickbait. LLMs have exactly nothing to do with the reason that Enigma-style encryption hasn't been relevant for nearly more than half a century.

(And everything to do with goosing Gizmodo's bottom line with drivel like this).