AtHeartEngineer's favorites

1.		Can AI design circuit boards yet? (eebench.org)
		422 points by iopapa 14 days ago \| 241 comments
2.		Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
		424 points by stingrae 14 days ago \| 134 comments
3.		Terence Tao explains 6 essential mathematical concepts [video] (youtube.com)
		638 points by matthewsinclair 19 days ago \| 86 comments
4.		StemDeck, a free, open-source and local AI stem separator (github.com/stemdeckapp)
		247 points by thclpr 20 days ago \| 65 comments
5.		A quick look at zero-knowledge proofs (bernsteinbear.com)
		89 points by evakhoury 35 days ago \| 38 comments
6.		Inside vLLM: Anatomy of a High-Throughput LLM Inference System (2025) (aleksagordic.com)
		151 points by sebg 43 days ago \| 10 comments
7.		Agent Skill to Force Docs in ASD-STE100 Simplified Technical English (github.com/aminblg)
		363 points by navs 50 days ago \| 122 comments
8.		Trusted URLs via Cryptographic Signatures (certisfy.com)
		29 points by Edmond 50 days ago \| 13 comments
9.		Hacker Public Radio (hackerpublicradio.org)
		176 points by bmacho 50 days ago \| 30 comments
10.		AI companies are shredding rare books (twitter.com/hedgiemarkets)
		801 points by anon373839 53 days ago \| 513 comments
11.		Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL (deepsql.ai)
		52 points by venkat971 60 days ago \| 35 comments
12.		Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
		244 points by badcryptobitch 61 days ago \| 52 comments
13.		Advertise in ChatGPT (ads.openai.com)
		1096 points by montecarl 59 days ago \| 842 comments
14.		Why do AI company logos look like buttholes? (2025) (velvetshark.com)
		453 points by miniBill 62 days ago \| 146 comments
15.		Show HN: Juggler – an open-source GUI coding agent, by the creator of JUCE (github.com/juggler-ai)
		280 points by julesrms 68 days ago \| 119 comments
16.		Ghost Font: A font that humans can read but AI cannot (mixfont.com)
		241 points by justswim 69 days ago \| 175 comments
17.		Introduction to Genomics for Engineers (learngenomics.dev)
		273 points by yreg 78 days ago \| 43 comments
18.		Show HN: zkGolf – Competitive optimization of formally verified circuits (zk.golf)
		69 points by rot256 78 days ago \| 12 comments
19.		Opening up 'Zero-Knowledge Proof' technology to promote privacy in age assurance (blog.google)
		231 points by consumer451 79 days ago \| 285 comments
20.		I built a mmWave material classification radar (2025) (gauthier-lechevalier.com)
		203 points by GL26 80 days ago \| 60 comments