kedmi's favorites | Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		749 points by evankhoury 21 hours ago \| 381 comments
2.		How exchanges turn order books into distributed logs (quant.engineering)
		136 points by rundef 9 days ago \| 70 comments
3.		Obscuring P2P Nodes with Dandelion (johndcook.com)
		83 points by ColinWright 9 days ago \| 6 comments
4.		Size of Life (neal.fun)
		2614 points by eatonphil 7 days ago \| 277 comments
5.		Patterns.dev (patterns.dev)
		626 points by handfuloflight 6 days ago \| 153 comments
6.		Intermittent hypoxia increases blood flow and benefits executive function (wiley.com)
		62 points by PaulHoule 7 days ago \| 64 comments
7.		How elites could shape mass preferences as AI reduces persuasion costs (arxiv.org)
		704 points by 50kIters 13 days ago \| 661 comments
8.		ESA Sentinel-1D delivers first high-resolution images (esa.int)
		128 points by giuliomagnifico 17 days ago \| 32 comments
9.		The surprising benefits of giving up (nautil.us)
		243 points by jnord 29 days ago \| 170 comments
10.		Bitchat for Gaza – messaging without internet (techforpalestine.org)
		517 points by ciconia 33 days ago \| 292 comments
11.		How to Get a North Korea / Antarctica VPS (lyc8503.net)
		208 points by uneven9434 33 days ago \| 77 comments
12.		The lazy Git UI you didn't know you need (bwplotka.dev)
		436 points by linhns 37 days ago \| 222 comments
13.		LLMs are steroids for your Dunning-Kruger (bytesauna.com)
		392 points by gridentio 37 days ago \| 298 comments
14.		Angel Investors, a Field Guide (jeanyang.com)
		202 points by azhenley 40 days ago \| 55 comments
15.		Israel demanded Google and Amazon use secret 'wink' to sidestep legal orders (theguardian.com)
		963 points by skilled 49 days ago \| 437 comments
16.		It's insulting to read AI-generated blog posts (pabloecortez.com)
		1300 points by speckx 51 days ago \| 540 comments
17.		Why I'm teaching kids to hack computers (hacktivate.app)
		281 points by twostraws 56 days ago \| 110 comments
18.		Show HN: Coach Thyself – Replace your morning scroll with structured journaling (thyself.coach)
		10 points by rrranch 56 days ago \| 24 comments
19.		SQL Anti-Patterns (datamethods.substack.com)
		296 points by zekrom 60 days ago \| 219 comments
20.		ADS-B Exposed (adsb.exposed)
		337 points by keepamovin 64 days ago \| 77 comments
21.		Don’t Look Up: Sensitive internal links in the clear on GEO satellites [pdf] (ucsd.edu)
		555 points by dweekly 64 days ago \| 138 comments
22.		Reasoning LLMs are wandering solution explorers (arxiv.org)
		90 points by Surreal4434 68 days ago \| 98 comments
23.		SEC approves Texas Stock Exchange, first new US integrated exchange in decades (cbsnews.com)
		609 points by pseudolus 74 days ago \| 463 comments
24.		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		326 points by barthelomew 74 days ago \| 175 comments
25.		High-resolution efficient image generation from WiFi Mapping (arxiv.org)
		143 points by oldfuture 77 days ago \| 35 comments
26.		Geolocation and Starlink (potaroo.net)
		151 points by tatersolid 78 days ago \| 71 comments
27.		Spectral Labs releases SGS-1: the first generative model for structured CAD (spectrallabs.ai)
		319 points by JumpCrisscross 87 days ago \| 65 comments
28.		Introduction to GrapheneOS (dataswamp.org)
		236 points by renehsz 3 months ago \| 305 comments
29.		AI might yet follow the path of previous technological revolutions (economist.com)
		184 points by mooreds 3 months ago \| 295 comments
30.		Acorn and the future of (AI?) theorem proving (lmao.bearblog.dev)
		31 points by LolWolf 3 months ago \| 6 comments
		More