Hacker News

1.		Translation of the Rust's core and alloc crates to Coq for formal verification (formal.land)
		170 points by p4bl0 5 hours ago \| hide \| 59 comments
2.		Gaussian Blue Noise (arxiv.org)
		20 points by fanf2 1 hour ago \| hide \| 2 comments
3.		A low budget consumer hardware espionage implant: a GSM device hidden in (2018) (cking.ch)
		165 points by fanf2 5 hours ago \| hide \| 45 comments
4.		Veo (deepmind.google)
		1479 points by meetpateltech 18 hours ago \| hide \| 423 comments
5.		Show HN: I built a math website the internet loved, I'm back with more features (teachyourselfmath.app)
		159 points by viveknathani_ 6 hours ago \| hide \| 30 comments
6.		Oracle goes vegan: Dumps Terraform for OpenTofu (thestack.technology)
		40 points by p1nkpineapple 1 hour ago \| hide \| 18 comments
7.		Glider – open-source eInk monitor with an emphasis on low latency (github.com/modos-labs)
		604 points by mistercheph 17 hours ago \| hide \| 106 comments
8.		URLhaus: A database of malicious URLs used for malware distribution (abuse.ch)
		111 points by fanf2 9 hours ago \| hide \| 28 comments
9.		Ilya Sutskever to leave OpenAI (twitter.com/ilyasut)
		892 points by wavelander 12 hours ago \| hide \| 548 comments
10.		Gemini Flash (deepmind.google)
		405 points by meetpateltech 17 hours ago \| hide \| 118 comments
11.		GPT-4o's Memory Breakthrough – Needle in a Needlestack (llmonpy.ai)
		379 points by parrt 16 hours ago \| hide \| 152 comments
12.		How did authorities identify the alleged LockBit boss? (krebsonsecurity.com)
		95 points by todsacerdoti 10 hours ago \| hide \| 23 comments
13.		Review: The Variational Principles of Mechanics (thepsmiths.com)
		11 points by telotortium 3 hours ago \| hide \| 4 comments
14.		HBase Deprecation at Pinterest (medium.com/pinterest-engineering)
		54 points by cloudsql 7 hours ago \| hide \| 9 comments
15.		Dell leak details next-gen Windows on Arm chips (theverge.com)
		26 points by gripfx 1 hour ago \| hide \| 18 comments
16.		Great Question (YC W21) Is Hiring Product Engineers (Rails/React) (ycombinator.com)
		4 hours ago \| hide
17.		Ancient Eastern European mega-sites: a social levelling concept? (cambridge.org)
		26 points by smartmic 5 hours ago \| hide \| 27 comments
18.		Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture (quantamagazine.org)
		62 points by pseudolus 10 hours ago \| hide \| 3 comments
19.		Model Explorer: intuitive and hierarchical visualization of model graphs (ai.google.dev)
		253 points by antognini 18 hours ago \| hide \| 33 comments
20.		Femtosecond lasers create 3D midair plasma displays you can touch (2015) (ieee.org)
		254 points by jagged-chisel 19 hours ago \| hide \| 121 comments
21.		Rolling with the punches: How mantis shrimp defend against high-speed strikes (ucsb.edu)
		10 points by peutetre 4 hours ago \| hide \| 1 comment
22.		Department of Justice says Boeing may be criminally liable in 737 MAX crashes (usatoday.com)
		156 points by andsoitis 7 hours ago \| hide \| 66 comments
23.		The new APT 3.0 solver (jak-linux.org)
		174 points by todsacerdoti 17 hours ago \| hide \| 95 comments
24.		The power of interoperability: Why objects are inevitable (2013) [pdf] (cmu.edu)
		28 points by pramodbiligiri 7 hours ago \| hide \| 10 comments
25.		Researchers find high levels of lead, mercury and arsenic in Beethoven's hair (smithsonianmag.com)
		118 points by marban 17 hours ago \| hide \| 79 comments
26.		Parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects (github.com/javierguerragiraldez)
		29 points by todsacerdoti 7 hours ago \| hide \| 3 comments
27.		Optimizing ClickHouse: Tactics that worked for us (highlight.io)
		114 points by podoman 15 hours ago \| hide \| 13 comments
28.		Boeing Emails Handed over to Congress in January 2020 (archive.org)
		7 points by hggh 1 hour ago \| hide \| 2 comments
29.		Stone with ancient writing system unearthed in garden (bbc.co.uk)
		90 points by gadders 15 hours ago \| hide \| 19 comments
30.		Sir, there's a cat in your mirror dimension (lcamtuf.substack.com)
		410 points by zdw 19 hours ago \| hide \| 64 comments
		More