Hacker News

1.		Time-Based CSS Animations (yuanchuan.dev)
		70 points by spirit23 4 hours ago \| hide \| 10 comments
2.		Automated integer hash function discovery (github.com/skeeto)
		146 points by danny00 7 hours ago \| hide \| 18 comments
3.		Xmake: A modern C/C++ build tool (github.com/xmake-io)
		21 points by flexagoon 2 hours ago \| hide \| 2 comments
4.		Vera Rubin's primary mirror gets its first reflective coating (universetoday.com)
		116 points by bikenaga 9 hours ago \| hide \| 26 comments
5.		Atari's Mike Jang (arcadeblogger.com)
		158 points by speckx 11 hours ago \| hide \| 6 comments
6.		Cylon: JavaScript framework for robotics, drones, and the Internet of Things (github.com/hybridgroup)
		23 points by nateb2022 5 hours ago \| hide \| 11 comments
7.		Verified Rust for low-level systems code (github.com/verus-lang)
		192 points by gz09 15 hours ago \| hide \| 63 comments
8.		Emerge (YC W21) is hiring senior engineers to automate dead code deletion (emergetools.com)
		1 hour ago \| hide
9.		Understanding Stein's Paradox (2021) (joe-antognini.github.io)
		49 points by robertvc 7 hours ago \| hide \| 2 comments
10.		Computers Reduce Efficiency: Case Studies of the Solow Paradox (scottlocklin.wordpress.com)
		20 points by gtt 4 hours ago \| hide \| 3 comments
11.		They Live (wikipedia.org)
		11 points by doener 47 minutes ago \| hide \| 1 comment
12.		MIT abandons use of DEI statements (whyevolutionistrue.com)
		21 points by nsoonhui 1 hour ago \| hide \| 3 comments
13.		Show HN: gpudeploy.com – "Airbnb" for GPUs (gpudeploy.com)
		175 points by nicowaltz 11 hours ago \| hide \| 110 comments
14.		How to build a $20B semiconductor fab (construction-physics.com)
		231 points by spenrose 18 hours ago \| hide \| 62 comments
15.		Show HN: Dillo 3.1.0 released after 9 years (dillo-browser.github.io)
		342 points by rodarima 12 hours ago \| hide \| 71 comments
16.		AM radio law opposed by tech and auto industries is close to passing (arstechnica.com)
		126 points by LinuxBender 16 hours ago \| hide \| 138 comments
17.		The business of wallets (bitsaboutmoney.com)
		84 points by tiniuclx 11 hours ago \| hide \| 29 comments
18.		Digital Telecommunication in HF band - WWWAN - World-Wide Wireless Area Network (sysmocom.de)
		13 points by pabs3 5 hours ago \| hide \| discuss
19.		Drink Me: (Ab)Using a LLM to Compress Text (o565.com)
		62 points by alexmolas 10 hours ago \| hide \| 32 comments
20.		SEQUOIA: Exact Llama2-70B on an RTX4090 with half-second per-token latency (infini-ai-lab.github.io)
		98 points by zinccat 5 hours ago \| hide \| 36 comments
21.		Hymn for Walpurgisnacht (themillions.com)
		25 points by commspam 7 hours ago \| hide \| 3 comments
22.		The Mirror Fusion Test Facility (2023) (beautifulpublicdata.com)
		108 points by not_a_boat 18 hours ago \| hide \| 63 comments
23.		CBMC: C bounded model checker (2021) (cprover.org)
		93 points by fanf2 19 hours ago \| hide \| 27 comments
24.		The Matrix: A Bayesian learning model for LLMs (arxiv.org)
		124 points by stoniejohnson 23 hours ago \| hide \| 11 comments
25.		Porting HPC Applications to AMD Instinct MI300A Using Unified Memory and OpenMP (arxiv.org)
		83 points by arcanus 16 hours ago \| hide \| 25 comments
26.		Judge mulls sanctions over Google's "shocking" destruction of internal chats (arstechnica.com)
		98 points by botanical 4 hours ago \| hide \| 79 comments
27.		Was the Stone Age the Wood Age? (nytimes.com)
		67 points by Brajeshwar 17 hours ago \| hide \| 103 comments
28.		Council Bans Apostrophes on Street Signs to Avoid Database Issues (bbc.co.uk)
		7 points by IMSAI8080 1 hour ago \| hide \| 2 comments
29.		Google Fit dev APIs shutdown set, fate of Android, Wear OS apps go unannounced (9to5google.com)
		29 points by thunderbong 5 hours ago \| hide \| 7 comments
30.		Preliminary Macintosh Business Plan (12 July 1981) [pdf] (computerhistory.org)
		48 points by Lammy 8 hours ago \| hide \| 21 comments
		More