Hacker Newsnew | past | comments | ask | show | jobs | submit | 2025-05-13login
Stories from May 13, 2025
Go back a day, month, or year. Go forward a day or month.
1.
Multiple security issues in GNU Screen (openwall.com)
416 points by st_goliath 8 months ago | 261 comments
2.
The world could run on older hardware if software optimization was a priority (twitter.com/id_aa_carmack)
848 points by turrini 8 months ago | 814 comments
3.
Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
448 points by logic_node 8 months ago | 415 comments
4.
Branch Privilege Injection: Exploiting branch predictor race conditions (ethz.ch)
421 points by alberto-m 8 months ago | 213 comments
5.
Mozilla Firefox – Official GitHub repo (github.com/mozilla-firefox)
855 points by thefilmore 8 months ago | 466 comments
6.
PDF to Text, a challenging problem (marginalia.nu)
357 points by ingve 8 months ago | 201 comments
7.
Flattening Rust’s learning curve (corrode.dev)
460 points by birdculture 8 months ago | 398 comments
8.
Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com/helixdb)
237 points by GeorgeCurtis 8 months ago | 112 comments
9.
I learned Snobol and then wrote a toy Forth (ratfactor.com)
145 points by ingve 8 months ago | 39 comments
10.
Type-constrained code generation with language models (arxiv.org)
257 points by tough 8 months ago | 127 comments
11.
It Awaits Your Experiments (rifters.com)
194 points by pavel_lishin 8 months ago | 83 comments
12.
FastVLM: Efficient vision encoding for vision language models (github.com/apple)
367 points by nhod 8 months ago | 74 comments
13.
Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
186 points by taubek 8 months ago | 132 comments
14.
Air Traffic Control (computer.rip)
264 points by 1317 8 months ago | 115 comments
15.
Ask HN: How are you acquiring your first hundred users?
573 points by amanchanda 8 months ago | 354 comments
16.
Build real-time knowledge graph for documents with LLM (cocoindex.io)
181 points by badmonster 8 months ago | 37 comments
17.
Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses
215 points by bestwillcui 8 months ago | 120 comments
18.
Open Hardware Ethernet Switch project, part 1 (serd.es)
275 points by luu 8 months ago | 36 comments
19.
In a high-stress work environment, prioritize relationships (wqtz.bearblog.dev)
346 points by wqtz 8 months ago | 212 comments
20.
The great displacement is already well underway? (shawnfromportland.substack.com)
517 points by JSLegendDev 8 months ago | 500 comments
21.
OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
108 points by tanelpoder 8 months ago | 18 comments
22.
Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
106 points by matt_d 8 months ago | 28 comments
23.
15 Years of Shader Minification (ctrl-alt-test.fr)
147 points by laurentlb 8 months ago | 25 comments
24.
TransMLA: Multi-head latent attention is all you need (arxiv.org)
123 points by ocean_moist 8 months ago | 32 comments
25.
Garbage collection of object storage at scale (warpstream.com)
96 points by ko_pivot 8 months ago | 10 comments
26.
How to avoid P hacking (nature.com)
116 points by benocodes 8 months ago | 87 comments
27.
Odin: A programming language made for me (zylinski.se)
213 points by gingerBill 8 months ago | 210 comments
28.
Insurers launch cover for losses caused by AI chatbot errors (ft.com)
136 points by jmacd 8 months ago | 64 comments
29.
Membrane: Media Framework for Elixir (membrane.stream)
165 points by lawik 8 months ago | 42 comments
30.
A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
69 points by jjgreen 8 months ago | 3 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: