Hacker News

1.		Automated integer hash function discovery (github.com/skeeto)
		150 points by danny00 7 hours ago \| hide \| 20 comments
2.		Time-Based CSS Animations (yuanchuan.dev)
		75 points by spirit23 4 hours ago \| hide \| 12 comments
3.		Xmake: A modern C/C++ build tool (github.com/xmake-io)
		28 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)
		160 points by speckx 12 hours ago \| hide \| 6 comments
6.		Rusty.hpp: A Borrow Checker and Memory Ownership System for C++20 (github.com/jaysmito101)
		3 points by stanulilic 1 hour ago \| hide \| discuss
7.		Verified Rust for low-level systems code (github.com/verus-lang)
		193 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.		Cylon: JavaScript framework for robotics, drones, and the Internet of Things (github.com/hybridgroup)
		24 points by nateb2022 5 hours ago \| hide \| 11 comments
10.		Understanding Stein's Paradox (2021) (joe-antognini.github.io)
		49 points by robertvc 7 hours ago \| hide \| 2 comments
11.		Computers Reduce Efficiency: Case Studies of the Solow Paradox (scottlocklin.wordpress.com)
		21 points by gtt 4 hours ago \| hide \| 5 comments
12.		Show HN: gpudeploy.com – "Airbnb" for GPUs (gpudeploy.com)
		175 points by nicowaltz 11 hours ago \| hide \| 110 comments
13.		They Live (wikipedia.org)
		12 points by doener 53 minutes ago \| hide \| 2 comments
14.		How to build a $20B semiconductor fab (construction-physics.com)
		231 points by spenrose 18 hours ago \| hide \| 63 comments
15.		Show HN: Dillo 3.1.0 released after 9 years (dillo-browser.github.io)
		344 points by rodarima 12 hours ago \| hide \| 72 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)
		85 points by tiniuclx 11 hours ago \| hide \| 30 comments
18.		Drink Me: (Ab)Using a LLM to Compress Text (o565.com)
		64 points by alexmolas 10 hours ago \| hide \| 32 comments
19.		Digital Telecommunication in HF band - WWWAN - World-Wide Wireless Area Network (sysmocom.de)
		13 points by pabs3 6 hours ago \| hide \| discuss
20.		SEQUOIA: Exact Llama2-70B on an RTX4090 with half-second per-token latency (infini-ai-lab.github.io)
		100 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.		MIT abandons use of DEI statements (whyevolutionistrue.com)
		27 points by nsoonhui 1 hour ago \| hide \| 5 comments
23.		The Mirror Fusion Test Facility (2023) (beautifulpublicdata.com)
		109 points by not_a_boat 18 hours ago \| hide \| 63 comments
24.		CBMC: C bounded model checker (2021) (cprover.org)
		95 points by fanf2 19 hours ago \| hide \| 27 comments
25.		The Matrix: A Bayesian learning model for LLMs (arxiv.org)
		125 points by stoniejohnson 23 hours ago \| hide \| 11 comments
26.		Porting HPC Applications to AMD Instinct MI300A Using Unified Memory and OpenMP (arxiv.org)
		83 points by arcanus 16 hours ago \| hide \| 25 comments
27.		Judge mulls sanctions over Google's "shocking" destruction of internal chats (arstechnica.com)
		100 points by botanical 4 hours ago \| hide \| 82 comments
28.		Was the Stone Age the Wood Age? (nytimes.com)
		67 points by Brajeshwar 17 hours ago \| hide \| 103 comments
29.		Council Bans Apostrophes on Street Signs to Avoid Database Issues (bbc.co.uk)
		9 points by IMSAI8080 1 hour ago \| hide \| 3 comments
30.		Google Fit dev APIs shutdown set, fate of Android, Wear OS apps go unannounced (9to5google.com)
		30 points by thunderbong 5 hours ago \| hide \| 7 comments
		More