Hacker News

1.		Translation of the Rust's core and alloc crates to Coq for formal verification (formal.land)
		122 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)
		133 points by fanf2 4 hours ago \| hide \| 35 comments
3.		Veo (deepmind.google)
		1447 points by meetpateltech 16 hours ago \| hide \| 413 comments
4.		Show HN: I built a math website the internet loved, I'm back with more features (teachyourselfmath.app)
		113 points by viveknathani_ 4 hours ago \| hide \| 18 comments
5.		Glider – open-source eInk monitor with an emphasis on low latency (github.com/modos-labs)
		583 points by mistercheph 16 hours ago \| hide \| 99 comments
6.		Ilya Sutskever to leave OpenAI (twitter.com/ilyasut)
		855 points by wavelander 11 hours ago \| hide \| 507 comments
7.		URLhaus: A database of malicious URLs used for malware distribution (abuse.ch)
		92 points by fanf2 8 hours ago \| hide \| 23 comments
8.		Gemini Flash (deepmind.google)
		396 points by meetpateltech 16 hours ago \| hide \| 112 comments
9.		Sir, there's a cat in your mirror dimension (lcamtuf.substack.com)
		398 points by zdw 18 hours ago \| hide \| 63 comments
10.		How did authorities identify the alleged LockBit boss? (krebsonsecurity.com)
		89 points by todsacerdoti 9 hours ago \| hide \| 17 comments
11.		GPT-4o's Memory Breakthrough – Needle in a Needlestack (llmonpy.ai)
		355 points by parrt 15 hours ago \| hide \| 144 comments
12.		Ancient Eastern European mega-sites: a social levelling concept? (cambridge.org)
		21 points by smartmic 4 hours ago \| hide \| 20 comments
13.		HBase Deprecation at Pinterest (medium.com/pinterest-engineering)
		38 points by cloudsql 5 hours ago \| hide \| 6 comments
14.		Great Question (YC W21) Is Hiring Product Engineers (Rails/React) (ycombinator.com)
		3 hours ago \| hide
15.		Model Explorer: intuitive and hierarchical visualization of model graphs (ai.google.dev)
		248 points by antognini 17 hours ago \| hide \| 33 comments
16.		Femtosecond lasers create 3D midair plasma displays you can touch (2015) (ieee.org)
		248 points by jagged-chisel 18 hours ago \| hide \| 114 comments
17.		Notes on Japan (alexanderweichart.de)
		29 points by surrTurr 3 hours ago \| hide \| 15 comments
18.		Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture (quantamagazine.org)
		43 points by pseudolus 9 hours ago \| hide \| 2 comments
19.		Air Quality Monitors Compared: AirGradient vs. Purple Air (airgradient.com)
		73 points by ahaucnx 7 hours ago \| hide \| 36 comments
20.		The power of interoperability: Why objects are inevitable (2013) [pdf] (cmu.edu)
		22 points by pramodbiligiri 6 hours ago \| hide \| 6 comments
21.		The new APT 3.0 solver (jak-linux.org)
		161 points by todsacerdoti 16 hours ago \| hide \| 89 comments
22.		Researchers find high levels of lead, mercury and arsenic in Beethoven's hair (smithsonianmag.com)
		113 points by marban 16 hours ago \| hide \| 75 comments
23.		Department of Justice says Boeing may be criminally liable in 737 MAX crashes (usatoday.com)
		126 points by andsoitis 6 hours ago \| hide \| 51 comments
24.		Rolling with the punches: How mantis shrimp defend against high-speed strikes (ucsb.edu)
		5 points by peutetre 2 hours ago \| hide \| discuss
25.		Bicycle Rolling Resistance: Tire Rolling Resistance Tests and More (bicyclerollingresistance.com)
		57 points by jacksgt 2 hours ago \| hide \| 43 comments
26.		Review: The Variational Principles of Mechanics (thepsmiths.com)
		3 points by telotortium 2 hours ago \| hide \| discuss
27.		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
28.		Optimizing ClickHouse: Tactics that worked for us (highlight.io)
		103 points by podoman 14 hours ago \| hide \| 12 comments
29.		Stone with ancient writing system unearthed in garden (bbc.co.uk)
		90 points by gadders 13 hours ago \| hide \| 19 comments
30.		Dell leak details next-gen Windows on Arm chips (theverge.com)
		3 points by gripfx 13 minutes ago \| hide \| discuss
		More