Hacker News

1.		AI tools are spotting errors in research papers: inside a growing movement (nature.com)
		205 points by kgwgk 4 hours ago \| hide \| 91 comments
2.		Discovering Errors in Donald Knuth's Taocp (glthr.com)
		52 points by glth 1 hour ago \| hide \| 7 comments
3.		You might not need Redis (viblo.se)
		38 points by jcartw 1 hour ago \| hide \| 21 comments
4.		The program is the database is the interface (scattered-thoughts.net)
		60 points by tosh 3 hours ago \| hide \| 19 comments
5.		Kill your Feeds – Stop letting algorithms dictate what you think (usher.dev)
		3 points by tom_usher 7 minutes ago \| hide \| discuss
6.		Ultrasonic deep drawing cuts friction by 20%, extends tool lifespan (techxplore.com)
		41 points by PaulHoule 6 hours ago \| hide \| 12 comments
7.		Long Read: Lessons from Building Semantic Search for GitHub and Why I Failed (tzx.notion.site)
		50 points by zxt_tzx 5 hours ago \| hide \| 6 comments
8.		An epic treatise on error models for systems programming languages (typesanitizer.com)
		164 points by transpute 13 hours ago \| hide \| 55 comments
9.		Spice Data (YC S19) Is Hiring a Founding Senior/Staff Software Engineer (ycombinator.com)
		1 hour ago \| hide
10.		Body Doubling (bodydoubling.com)
		45 points by yamrzou 6 hours ago \| hide \| 39 comments
11.		Explore Sutro Tower (sutrotower.com)
		38 points by archagon 6 hours ago \| hide \| 16 comments
12.		Falkon: A KDE Web Browser (falkon.org)
		128 points by 0x54MUR41 13 hours ago \| hide \| 56 comments
13.		Show HN: Open-Source DocumentAI with Ollama (rlama.dev)
		239 points by Dontizi 16 hours ago \| hide \| 29 comments
14.		Valentin Hansen: Creating an Infinite Sound (sleek-mag.com)
		7 points by zoklet-enjoyer 3 hours ago \| hide \| 1 comment
15.		Undocumented backdoor found in Bluetooth chip used by a billion devices (bleepingcomputer.com)
		167 points by el_duderino 1 hour ago \| hide \| 59 comments
16.		AI models makes precise copies of cuneiform characters (cornell.edu)
		52 points by geox 9 hours ago \| hide \| 15 comments
17.		Cat-Eared Robots Are Waiting Tables in Japan's Restaurants (bloomberg.com)
		23 points by xqcgrek2 2 hours ago \| hide \| 20 comments
18.		Forces deep underground seem to be deforming Earth's inner core (newscientist.com)
		36 points by walterbell 9 hours ago \| hide \| 15 comments
19.		Mountains, Cliffs, and Caves: A Guide to Using Perlin Noise for Procedural Gen (jdhwilkins.com)
		148 points by chwolfe 18 hours ago \| hide \| 29 comments
20.		Introducing command And commandfor In HTML (chrome.com)
		387 points by Kerrick 1 day ago \| hide \| 220 comments
21.		Sam Bankman-Fried Thrown into Solitary over Tucker Carlson Interview: Report (gizmodo.com)
		63 points by rntn 1 hour ago \| hide \| 49 comments
22.		Sex Traffickers in Colombia Using Facebook, Tinder and Airbnb to Exploit Minors (bloomberg.com)
		3 points by gnabgib 28 minutes ago \| hide \| 2 comments
23.		Ask HN: Do your eyes bug you even though your prescription is "correct"?
		292 points by jbornhorst 1 day ago \| hide \| 280 comments
24.		Polars Cloud: The Distributed Cloud Architecture to Run Polars Anywhere (pola.rs)
		239 points by neilfrndes 21 hours ago \| hide \| 83 comments
25.		Vtm: Text-Based Desktop Environment (github.com/directvt)
		277 points by klaussilveira 1 day ago \| hide \| 78 comments
26.		Gene-edited non-browning banana could cut food waste (theguardian.com)
		43 points by geox 5 hours ago \| hide \| 35 comments
27.		What We Lose When Our Memories Exist in Our Phones (bloomberg.com)
		61 points by JumpCrisscross 5 hours ago \| hide \| 25 comments
28.		Letta: Letta is a framework for creating LLM services with memory (github.com/letta-ai)
		95 points by sebg 20 hours ago \| hide \| 20 comments
29.		(Reasonably) secure Azure Pipelines on-prem deployments (rewiring.bearblog.dev)
		30 points by Mossy9 14 hours ago \| hide \| 37 comments
30.		Age Verification Laws: A Backdoor to Surveillance (eff.org)
		581 points by hn_acker 23 hours ago \| hide \| 358 comments
		More