Type-constrained code generation with language models

https://arxiv.org/abs/2504.09246

118•tough•5h ago•47 comments

I failed a take-home assignment from Kagi Search

https://bloggeroo.dev/articles/202504031434

99•josecodea•1h ago•49 comments

I’ve built an IoT device to let my family know when I’m in a meeting

https://nullonerror.org/2025/05/11/i-have-built-an-iot-device-to-let-my-family-know-when-i-am-in-a-meeting/

36•delduca•2d ago•20 comments

Flattening Rust’s learning curve

https://corrode.dev/blog/flattening-rusts-learning-curve/

112•birdculture•5h ago•91 comments

Branch Privilege Injection: Exploiting branch predictor race conditions

https://comsec.ethz.ch/research/microarch/branch-privilege-injection/

336•alberto-m•11h ago•132 comments

Google is building its own DeX: First look at Android's Desktop Mode

https://www.androidauthority.com/android-desktop-mode-leak-3550321/

239•logic_node•13h ago•198 comments

Build real-time knowledge graph for documents with LLM

https://cocoindex.io/blogs/knowledge-graph-for-docs/

95•badmonster•8h ago•16 comments

Mipmap selection in too much detail

https://pema.dev/2025/05/09/mipmaps-too-much-detail/

10•luu•2d ago•3 comments

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

https://github.com/HelixDB/helix-db/

134•GeorgeCurtis•10h ago•59 comments

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit

https://www.space.com/space-exploration/launches-spacecraft/failed-soviet-venus-lander-kosmos-482-crashes-to-earth-after-53-years-in-orbit

119•taubek•3d ago•74 comments

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

168•bestwillcui•14h ago•92 comments

How “The Great Gatsby” took over high school

https://www.newyorker.com/books/page-turner/how-the-great-gatsby-took-over-high-school

11•pseudolus•14h ago•2 comments

Airbnb is in midlife crisis mode

https://www.wired.com/story/airbnb-is-in-midlife-crisis-mode-reinvention-app-services/

82•thomasjudge•8h ago•131 comments

Multiple security issues in GNU Screen

https://www.openwall.com/lists/oss-security/2025/05/12/1

352•st_goliath•16h ago•215 comments

PDF to Text, a challenging problem

https://www.marginalia.nu/log/a_119_pdf/

245•ingve•12h ago•138 comments

A visual history of the safety pin

https://museumofeverydaylife.org/current-exhibitions/a-visual-history-of-the-safety-pin

15•andsoitis•2d ago•0 comments

Replicube: A puzzle game about writing code to create shapes

https://store.steampowered.com/app/3401490/Replicube/

9•poetril•1h ago•0 comments

Map of Palaeohispanic Coins and Inscriptions

http://hesperia.ucm.es/consulta_hesperia/mapas.php

15•brendanashworth•3h ago•0 comments

It Awaits Your Experiments

https://www.rifters.com/crawl/?p=11511

142•pavel_lishin•12h ago•48 comments

DeepSeek’s founder is threatening US dominance in AI race

https://www.bloomberg.com/news/features/2025-05-13/deepseek-races-after-chatgpt-as-china-s-ai-industry-soars

47•blumpy22•2h ago•34 comments

Fingers wrinkle the same way every time they’re in the water too long

https://www.binghamton.edu/news/story/5547/do-your-fingers-wrinkle-the-same-way-every-time-youre-in-the-water-too-long-new-research-says-yes

92•gnabgib•4h ago•35 comments

Coffee for people who don't like coffee

https://ostwilkens.se/blog/coffee

44•ostwilkens•3d ago•126 comments

Garbage collection of object storage at scale

https://www.warpstream.com/blog/taking-out-the-trash-garbage-collection-of-object-storage-at-massive-scale

50•ko_pivot•3d ago•8 comments

How (memory) safe is Zig? (2021)

https://www.scattered-thoughts.net/writing/how-safe-is-zig/

32•vortex_ape•5h ago•33 comments

A tool to verify estimates, II: a flexible proof assistant

https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/

24•jjgreen•3d ago•0 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

https://www.cs.drexel.edu/~bls96/museum/CARDIAC_manual.pdf

24•throwaway71271•6h ago•13 comments

The world could run on older hardware if software optimization was a priority

https://twitter.com/ID_AA_Carmack/status/1922100771392520710

602•turrini•17h ago•572 comments

I learned Snobol and then wrote a toy Forth

https://ratfactor.com/snobol/

120•ingve•2d ago•31 comments

OpenTelemetry protocol with Apache Arrow

https://opentelemetry.io/blog/2025/otel-arrow-phase-2/

68•tanelpoder•9h ago•14 comments

Using obscure graph theory to solve programming languages problems

https://reasonablypolymorphic.com/blog/solving-lcsa/

38•matt_d•7h ago•5 comments