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

28 points by tough 1h ago 3 comments

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

306 points by alberto-m 6h ago 115 comments

Flattening Rust's Learning Curve (corrode.dev)

17 points by birdculture 1h ago 2 comments

Starcloud (ycombinator.com)

104 points by wiley1454 3h ago 191 comments

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

48 points by badmonster 3h ago 6 comments

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

88 points by taubek 3d ago 53 comments

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

104 points by GeorgeCurtis 6h ago 50 comments

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

14 points by throwaway71271 1h ago 3 comments

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

209 points by ingve 8h ago 113 comments

Multiple security issues in GNU Screen (openwall.com)

325 points by st_goliath 12h ago 191 comments

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

166 points by logic_node 9h ago 147 comments

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

22 points by ko_pivot 3d ago 5 comments

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

148 points by bestwillcui 10h ago 86 comments

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

6 points by jjgreen 3d ago 0 comments

It Awaits Your Experiments (rifters.com)

117 points by pavel_lishin 8h ago 34 comments

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

450 points by amanchanda 14h ago 280 comments

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

11 points by vortex_ape 1h ago 3 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

52 points by tanelpoder 5h ago 13 comments

Membrane: Media Framework for Elixir (membrane.stream)

108 points by lawik 3d ago 34 comments

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

25 points by vinnyglennon 4d ago 6 comments

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

113 points by ingve 2d ago 30 comments

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

543 points by turrini 13h ago 526 comments

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

78 points by mastazi 1h ago 16 comments

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

19 points by matt_d 3h ago 3 comments

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

100 points by jmacd 2d ago 37 comments

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

271 points by wqtz 10h ago 175 comments

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

212 points by kamikazee 4h ago 275 comments

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

38 points by whatever3 4h ago 76 comments

TheForger's Win32 API Tutorial (winprog.org)

54 points by xeonmc 9h ago 4 comments

A Taxonomy of Bugs (ruby0x1.github.io)

37 points by lissine 8h ago 14 comments

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

31 points by lihaoyi 3d ago 5 comments

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

84 points by mathgenius 11h ago 79 comments

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

83 points by mu0n 5h ago 49 comments

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

270 points by JSLegendDev 1d ago 257 comments

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

162 points by gingerBill 14h ago 175 comments

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

39 points by calpaterson 5h ago 12 comments

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

11 points by prmph 3d ago 12 comments

Mozilla Firefox – Official GitHub repo (github.com)

774 points by thefilmore 18h ago 421 comments

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

127 points by michalpleban 2d ago 44 comments

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

14 points by CharlesW 6h ago 0 comments

Show HN: A5 (github.com)

79 points by pheelicks 13h 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)

29 points by kaycebasques 8h ago 4 comments

Trial by Fire: The crash of Aeroflot flight 1492 (admiralcloudberg.medium.com)

80 points by shmeeed 16h ago 39 comments

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

21 points by voxadam 9h ago 1 comments

Anti-Personnel Computing (2023) (erratique.ch)

112 points by transpute 15h ago 50 comments

The Surreal Landscapes of Industrial Waste in Russia (comradegallery.com)

34 points by silverkite 4h ago 0 comments

uBlock Origin Lite beta version for Safari (github.com)

34 points by aheckler 3h ago 4 comments

Show HN: AG-UI Protocol – Bring Agents into Frontend Applications (github.com)

22 points by swiftlyTyped 7h ago 5 comments

FreeBSD fans rally round zVault upstart (theregister.com)

6 points by rodrigo975 1h ago 0 comments

Quay.io down: primary key has reached maximum value

4 draganm 1 5/13/2025, 12:31:13 PM status.redhat.com ↗

Comments (1)

draganm · 11h ago

Wonder how many other 'older' systems will run into the same issue at some point ...