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

23 points by tough 1h ago 1 comments

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

302 points by alberto-m 6h ago 113 comments

Starcloud (ycombinator.com)

99 points by wiley1454 3h ago 180 comments

Flattening Rust's Learning Curve (corrode.dev)

10 points by birdculture 59m ago 1 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 50 comments

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

101 points by GeorgeCurtis 5h ago 50 comments

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

208 points by ingve 8h ago 111 comments

Multiple security issues in GNU Screen (openwall.com)

325 points by st_goliath 11h ago 191 comments

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

162 points by logic_node 8h ago 147 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)

114 points by pavel_lishin 7h ago 34 comments

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

448 points by amanchanda 14h ago 280 comments

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

5 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

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

50 points by tanelpoder 5h ago 13 comments

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

70 points by mastazi 1h ago 16 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)

113 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

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

24 points by vinnyglennon 4d ago 5 comments

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

18 points by matt_d 3h ago 2 comments

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

98 points by jmacd 2d ago 36 comments

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

208 points by kamikazee 4h ago 274 comments

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

37 points by whatever3 4h ago 72 comments

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

270 points by wqtz 10h ago 175 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

A Taxonomy of Bugs (ruby0x1.github.io)

36 points by lissine 7h ago 14 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

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

268 points by JSLegendDev 1d ago 253 comments

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

39 points by calpaterson 5h ago 12 comments

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

10 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

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

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

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

20 points by voxadam 9h ago 1 comments

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

111 points by transpute 15h ago 50 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)

20 points by swiftlyTyped 7h ago 5 comments

FreeBSD fans rally round zVault upstart (theregister.com)

6 points by rodrigo975 1h ago 0 comments

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

32 points by silverkite 4h ago 0 comments

Formalizing a proof in Lean using GitHub Copilot and canonical [video]

1 Philpax 0 5/13/2025, 10:28:07 AM youtube.com ↗

Comments (0)

No comments yet