somezero's favorites | Hacker News

1.		Multi-Agentic Software Development Is a Distributed Systems Problem (kirancodes.me)
		119 points by tie-in 14 days ago \| 63 comments
2.		Hegel, a universal property-based testing protocol and family of PBT libraries (hegel.dev)
		133 points by PaulHoule 19 days ago \| 41 comments
3.		Sam Altman may control our future – can he be trusted? (newyorker.com)
		2202 points by adrianhon 22 days ago \| 916 comments
4.		The $LANG Programming Language
		267 points by dang 3 months ago \| 72 comments
5.		Show HN: Exploring Mathematics with Python (psu.ac.th)
		268 points by Andrew2565 4 months ago \| 29 comments
6.		X-ray: a Python library for finding bad redactions in PDF documents (github.com/freelawproject)
		709 points by rendx 4 months ago \| 122 comments
7.		You should write an agent (fly.io)
		1070 points by tabletcorry 5 months ago \| 395 comments
8.		Mathematical exploration and discovery at scale (terrytao.wordpress.com)
		273 points by nabla9 5 months ago \| 128 comments
9.		Hypothesis: Property-Based Testing for Python (hypothesis.readthedocs.io)
		231 points by lwhsiao 5 months ago \| 161 comments
10.		Eavesdropping on Internal Networks via Unencrypted Satellites (ucsd.edu)
		218 points by Bogdanp 6 months ago \| 46 comments
11.		"Learn APL" Notes (luksamuk.codes)
		50 points by todsacerdoti 6 months ago \| 10 comments
12.		An Electrical Engineering View of a Mechanical Watch (2003) [video] (techtv.mit.edu)
		71 points by o4c 6 months ago \| 16 comments
13.		Show HN: I invented a new generative model and got accepted to ICLR (discrete-distribution-networks.github.io)
		656 points by diyer22 6 months ago \| 91 comments
14.		What is “good taste” in software engineering? (seangoedecke.com)
		342 points by olayiwoladekoya 7 months ago \| 229 comments
15.		How to Lead in a Room Full of Experts (idiallo.com)
		459 points by jnord 7 months ago \| 137 comments
16.		The Beginner's Textbook for Fully Homomorphic Encryption (arxiv.org)
		251 points by Qision 7 months ago \| 46 comments
17.		A Generalized Algebraic Theory of Directed Equality (jacobneu.phd)
		63 points by matt_d 7 months ago \| 26 comments
18.		Privacy and Security Risks in the eSIM Ecosystem [pdf] (usenix.org)
		282 points by walterbell 7 months ago \| 154 comments
19.		Claude can sometimes prove it (galois.com)
		219 points by lairv 7 months ago \| 69 comments
20.		Fast Fourier Transforms Part 1: Cooley-Tukey (connorboyle.io)
		95 points by signa11 7 months ago \| 33 comments
21.		Cognitive load is what matters (github.com/zakirullin)
		1582 points by nromiun 8 months ago \| 522 comments
22.		Important machine learning equations (chizkidd.github.io)
		302 points by sebg 8 months ago \| 34 comments
23.		Claim: GPT-5-pro can prove new interesting mathematics (twitter.com/sebastienbubeck)
		256 points by marcuschong 8 months ago \| 150 comments
24.		Notes from the SF Party Scene (theahura.substack.com)
		3 points by neilv on April 20, 2025
25.		Update on my Racket exit (winny.tech)
		35 points by todsacerdoti 8 months ago \| 19 comments
26.		Claude Opus 4 and 4.1 can now end a rare subset of conversations (anthropic.com)
		259 points by virgildotcodes 8 months ago \| 436 comments
27.		MCP overlooks hard-won lessons from distributed systems (julsimon.medium.com)
		409 points by yodon 8 months ago \| 227 comments
28.		I want everything local – Building my offline AI workspace (instavm.io)
		1143 points by mkagenius 8 months ago \| 286 comments
29.		Lurk – A Turing-complete programming language for ZK-SNARKs (github.com/lurk-lab)
		33 points by diggan 8 months ago \| 2 comments
30.		Overengineering my homelab so I don't pay cloud providers (ergaster.org)
		253 points by JNRowe 8 months ago \| 186 comments
		More