Hacker News

1.		Translation of the Rust's core and alloc crates to Coq for formal verification (formal.land)
		132 points by p4bl0 4 hours ago \| hide \| 52 comments
2.		A low budget consumer hardware espionage implant: a GSM device hidden in (2018) (cking.ch)
		139 points by fanf2 4 hours ago \| hide \| 35 comments
3.		Veo (deepmind.google)
		1448 points by meetpateltech 16 hours ago \| hide \| 414 comments
4.		Show HN: I built a math website the internet loved, I'm back with more features (teachyourselfmath.app)
		124 points by viveknathani_ 5 hours ago \| hide \| 18 comments
5.		Glider – open-source eInk monitor with an emphasis on low latency (github.com/modos-labs)
		585 points by mistercheph 16 hours ago \| hide \| 100 comments
6.		Ilya Sutskever to leave OpenAI (twitter.com/ilyasut)
		859 points by wavelander 11 hours ago \| hide \| 516 comments
7.		URLhaus: A database of malicious URLs used for malware distribution (abuse.ch)
		97 points by fanf2 8 hours ago \| hide \| 23 comments
8.		Gemini Flash (deepmind.google)
		397 points by meetpateltech 16 hours ago \| hide \| 112 comments
9.		Sir, there's a cat in your mirror dimension (lcamtuf.substack.com)
		402 points by zdw 18 hours ago \| hide \| 63 comments
10.		GPT-4o's Memory Breakthrough – Needle in a Needlestack (llmonpy.ai)
		361 points by parrt 15 hours ago \| hide \| 144 comments
11.		Hot take on OpenAI's new GPT-4o – by Gary Marcus (garymarcus.substack.com)
		9 points by isaacfrond 2 hours ago \| hide \| 1 comment
12.		How did authorities identify the alleged LockBit boss? (krebsonsecurity.com)
		89 points by todsacerdoti 9 hours ago \| hide \| 17 comments
13.		Great Question (YC W21) Is Hiring Product Engineers (Rails/React) (ycombinator.com)
		3 hours ago \| hide
14.		Ancient Eastern European mega-sites: a social levelling concept? (cambridge.org)
		21 points by smartmic 4 hours ago \| hide \| 21 comments
15.		HBase Deprecation at Pinterest (medium.com/pinterest-engineering)
		41 points by cloudsql 6 hours ago \| hide \| 7 comments
16.		Model Explorer: intuitive and hierarchical visualization of model graphs (ai.google.dev)
		248 points by antognini 17 hours ago \| hide \| 33 comments
17.		Review: The Variational Principles of Mechanics (thepsmiths.com)
		4 points by telotortium 2 hours ago \| hide \| discuss
18.		Femtosecond lasers create 3D midair plasma displays you can touch (2015) (ieee.org)
		248 points by jagged-chisel 18 hours ago \| hide \| 116 comments
19.		Bicycle Rolling Resistance: Tire Rolling Resistance Tests and More (bicyclerollingresistance.com)
		59 points by jacksgt 3 hours ago \| hide \| 44 comments
20.		Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture (quantamagazine.org)
		44 points by pseudolus 9 hours ago \| hide \| 2 comments
21.		Notes on Japan (alexanderweichart.de)
		30 points by surrTurr 3 hours ago \| hide \| 17 comments
22.		Air Quality Monitors Compared: AirGradient vs. Purple Air (airgradient.com)
		73 points by ahaucnx 7 hours ago \| hide \| 38 comments
23.		The new APT 3.0 solver (jak-linux.org)
		162 points by todsacerdoti 16 hours ago \| hide \| 89 comments
24.		The power of interoperability: Why objects are inevitable (2013) [pdf] (cmu.edu)
		22 points by pramodbiligiri 6 hours ago \| hide \| 7 comments
25.		Department of Justice says Boeing may be criminally liable in 737 MAX crashes (usatoday.com)
		128 points by andsoitis 6 hours ago \| hide \| 53 comments
26.		Researchers find high levels of lead, mercury and arsenic in Beethoven's hair (smithsonianmag.com)
		113 points by marban 16 hours ago \| hide \| 76 comments
27.		Rolling with the punches: How mantis shrimp defend against high-speed strikes (ucsb.edu)
		5 points by peutetre 3 hours ago \| hide \| 1 comment
28.		Dell leak details next-gen Windows on Arm chips (theverge.com)
		8 points by gripfx 24 minutes ago \| hide \| 1 comment
29.		Parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects (github.com/javierguerragiraldez)
		24 points by todsacerdoti 6 hours ago \| hide \| 3 comments
30.		Optimizing ClickHouse: Tactics that worked for us (highlight.io)
		103 points by podoman 14 hours ago \| hide \| 12 comments
		More