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

60 points by tough 2h ago 19 comments

Flattening Rust's Learning Curve (corrode.dev)

41 points by birdculture 2h ago 16 comments

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

316 points by alberto-m 7h ago 122 comments

Starcloud (ycombinator.com)

120 points by wiley1454 4h ago 235 comments

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

62 points by badmonster 4h ago 10 comments

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

5 points by gnabgib 54m ago 0 comments

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

96 points by taubek 3d ago 61 comments

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

4 points by brendanashworth 18m ago 0 comments

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

111 points by GeorgeCurtis 7h ago 50 comments

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

188 points by logic_node 9h ago 159 comments

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

218 points by ingve 9h ago 123 comments

Multiple security issues in GNU Screen (openwall.com)

330 points by st_goliath 13h ago 202 comments

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

12 points by jjgreen 3d ago 0 comments

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

156 points by bestwillcui 11h ago 86 comments

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

34 points by ko_pivot 3d ago 6 comments

It Awaits Your Experiments (rifters.com)

123 points by pavel_lishin 9h ago 34 comments

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

14 points by throwaway71271 2h ago 5 comments

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

463 points by amanchanda 15h ago 285 comments

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

16 points by vortex_ape 2h ago 13 comments

Y Combinator says Google is a monopolist, no comment about its OpenAI ties (techcrunch.com)

102 points by mastazi 2h ago 25 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

54 points by tanelpoder 6h ago 13 comments

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

556 points by turrini 13h ago 537 comments

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

5 points by gnabgib 3d ago 0 comments

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

114 points by ingve 2d ago 30 comments

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

24 points by matt_d 4h ago 3 comments

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

28 points by vinnyglennon 4d ago 6 comments

Membrane: Media Framework for Elixir (membrane.stream)

108 points by lawik 3d ago 35 comments

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

106 points by jmacd 2d ago 41 comments

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

282 points by wqtz 11h ago 178 comments

A Taxonomy of Bugs (ruby0x1.github.io)

42 points by lissine 8h ago 14 comments

D Slices (dlang.org)

3 points by teleforce 1h ago 0 comments

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

44 points by whatever3 5h ago 89 comments

TheForger's Win32 API Tutorial (winprog.org)

55 points by xeonmc 10h ago 4 comments

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

226 points by kamikazee 5h ago 296 comments

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

274 points by JSLegendDev 1d ago 274 comments

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

85 points by mathgenius 12h ago 83 comments

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

163 points by gingerBill 15h ago 177 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)

87 points by mu0n 6h ago 52 comments

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

18 points by CharlesW 7h ago 0 comments

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

39 points by calpaterson 6h ago 12 comments

Mozilla Firefox – Official GitHub repo (github.com)

777 points by thefilmore 19h ago 423 comments

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

127 points by michalpleban 2d ago 44 comments

The Myth of the Poverty Trap (theatlantic.com)

4 points by paulpauper 35m ago 0 comments

The Battle to Bottle Palm Wine (2021) (atlasobscura.com)

11 points by prmph 3d ago 12 comments

Show HN: A5 (github.com)

79 points by pheelicks 14h ago 26 comments

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

37 points by signa11 4d ago 14 comments

Chrome's New Embedding Model: Smaller, Faster, Same Quality (dejan.ai)

30 points by kaycebasques 9h ago 4 comments

Dolla dolla bill, y'all: Reverse engineering a banknote validator (something.fromnothing.blog)

23 points by voxadam 10h ago 1 comments

"How did porcelain go from a rare luxury to a commodity?" (old.reddit.com)

3 points by areoform 33m ago 0 comments

ChatGPT may be polite, but it's not cooperating with you

17 c420 0 5/13/2025, 7:45:12 PM theguardian.com ↗

Comments (0)

No comments yet