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

129 points by tough 6h ago 48 comments

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

41 points by delduca 2d ago 22 comments

Flattening Rust’s learning curve (corrode.dev)

115 points by birdculture 5h ago 97 comments

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

337 points by alberto-m 11h ago 132 comments

How “The Great Gatsby” took over high school (newyorker.com)

15 points by pseudolus 14h ago 3 comments

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

241 points by logic_node 13h ago 202 comments

Mipmap selection in too much detail (pema.dev)

14 points by luu 2d ago 4 comments

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

102 points by badmonster 8h ago 16 comments

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

130 points by josecodea 1h ago 84 comments

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

121 points by taubek 3d ago 75 comments

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

136 points by GeorgeCurtis 10h ago 60 comments

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

169 points by bestwillcui 15h ago 92 comments

Airbnb is in midlife crisis mode (wired.com)

89 points by thomasjudge 8h ago 149 comments

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

246 points by ingve 13h ago 139 comments

Multiple security issues in GNU Screen (openwall.com)

354 points by st_goliath 16h ago 216 comments

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

12 points by poetril 2h ago 1 comments

RPG in a Box (rpginabox.com)

3 points by skibz 3d ago 0 comments

It Awaits Your Experiments (rifters.com)

143 points by pavel_lishin 12h ago 48 comments

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

96 points by gnabgib 4h ago 36 comments

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

16 points by andsoitis 2d ago 0 comments

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

16 points by brendanashworth 4h ago 0 comments

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

52 points by blumpy22 3h ago 35 comments

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

52 points by ko_pivot 3d ago 8 comments

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

28 points by jjgreen 3d ago 0 comments

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

25 points by throwaway71271 6h ago 13 comments

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

609 points by turrini 17h ago 572 comments

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

48 points by ostwilkens 3d ago 130 comments

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

122 points by ingve 2d ago 31 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

73 points by tanelpoder 10h ago 14 comments

Membrane: Media Framework for Elixir (membrane.stream)

125 points by lawik 3d ago 36 comments

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

38 points by matt_d 8h ago 5 comments

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

301 points by JSLegendDev 1d ago 311 comments

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

121 points by jmacd 2d ago 48 comments

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

301 points by wqtz 15h ago 188 comments

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

38 points by vinnyglennon 4d ago 10 comments

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

169 points by gingerBill 19h ago 187 comments

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

33 points by vortex_ape 6h ago 36 comments

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

86 points by mathgenius 16h ago 86 comments

TheForger's Win32 API Tutorial (winprog.org)

57 points by xeonmc 14h ago 6 comments

Starcloud (ycombinator.com)

138 points by wiley1454 8h ago 281 comments

A Taxonomy of Bugs (ruby0x1.github.io)

45 points by lissine 12h ago 14 comments

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

14 points by adamkf 5h ago 2 comments

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

30 points by CharlesW 11h ago 1 comments

Mozilla Firefox – Official GitHub repo (github.com)

785 points by thefilmore 22h ago 431 comments

Zillow to bar publicly marketed listings not shared via MLS (realestatenews.com)

10 points by gscott 3h ago 2 comments

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

477 points by amanchanda 19h ago 307 comments

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

50 points by whatever3 8h ago 100 comments

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

129 points by michalpleban 2d ago 44 comments

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

243 points by kamikazee 9h ago 323 comments

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

33 points by lihaoyi 3d ago 6 comments

Matrix3D: Large Photogrammetry Model All-in-One

2 bentocorp 0 5/13/2025, 9:41:05 PM nju-3dv.github.io ↗

Comments (0)

No comments yet