Type-Constrained Code Generation with Language Models (arxiv.org)

16 points by tough 1h ago 0 comments

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

301 points by alberto-m 6h ago 112 comments

Starcloud (ycombinator.com)

98 points by wiley1454 3h ago 174 comments

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

47 points by badmonster 3h ago 6 comments

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

13 points by throwaway71271 1h ago 2 comments

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

84 points by taubek 3d ago 49 comments

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

101 points by GeorgeCurtis 5h ago 50 comments

Flattening Rust's Learning Curve (corrode.dev)

6 points by birdculture 54m ago 0 comments

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

18 points by ostwilkens 3d ago 32 comments

Multiple security issues in GNU Screen (openwall.com)

325 points by st_goliath 11h ago 191 comments

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

207 points by ingve 8h ago 111 comments

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

159 points by logic_node 8h ago 146 comments

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

21 points by ko_pivot 3d ago 5 comments

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

145 points by bestwillcui 10h ago 86 comments

It Awaits Your Experiments (rifters.com)

112 points by pavel_lishin 7h ago 34 comments

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

4 points by jjgreen 3d ago 0 comments

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

10 points by vortex_ape 1h ago 2 comments

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

448 points by amanchanda 14h ago 279 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

49 points by tanelpoder 5h ago 13 comments

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

68 points by mastazi 1h ago 15 comments

Membrane: Media Framework for Elixir (membrane.stream)

106 points by lawik 3d ago 34 comments

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

112 points by ingve 2d ago 30 comments

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

537 points by turrini 12h ago 525 comments

Using Obscure Graph Theory to Solve Programming Languages Problems (reasonablypolymorphic.com)

18 points by matt_d 3h ago 2 comments

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

23 points by vinnyglennon 4d ago 5 comments

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

98 points by jmacd 2d ago 36 comments

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

37 points by whatever3 4h ago 70 comments

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

206 points by kamikazee 4h ago 272 comments

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

270 points by wqtz 10h ago 174 comments

TheForger's Win32 API Tutorial (winprog.org)

54 points by xeonmc 9h ago 4 comments

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

31 points by lihaoyi 3d ago 5 comments

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

82 points by mu0n 5h ago 48 comments

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

81 points by mathgenius 11h ago 79 comments

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

162 points by gingerBill 14h ago 175 comments

A Taxonomy of Bugs (ruby0x1.github.io)

35 points by lissine 7h ago 14 comments

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

268 points by JSLegendDev 1d ago 252 comments

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

39 points by calpaterson 5h ago 12 comments

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

9 points by prmph 3d ago 12 comments

Mozilla Firefox – Official GitHub repo (github.com)

774 points by thefilmore 17h ago 421 comments

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

127 points by michalpleban 2d ago 44 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

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

12 points by CharlesW 6h ago 0 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)

20 points by voxadam 9h ago 1 comments

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

33 points by aheckler 3h ago 4 comments

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

111 points by transpute 15h ago 50 comments

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

20 points by swiftlyTyped 7h ago 5 comments

FreeBSD fans rally round zVault upstart (theregister.com)

6 points by rodrigo975 1h ago 0 comments

DJI is skipping the US with its most advanced drone yet

6 RobertTheNerd 1 5/13/2025, 1:48:03 PM theverge.com ↗

Comments (1)

focusedone · 3h ago

I guess everyone will just by the competitive domestically-made product instead?