New Links | Hacker News

1.		Unigent SDK – universal cross-harness, cross-session agent workflow scripting (github.com/gintasz)
		1 point by gintasz 1 minute ago \| hide \| past \| discuss
2.		Curry-Howard Correspondence – How proof assistants work [pdf] (wm.edu)
		1 point by max-amb 3 minutes ago \| hide \| past \| discuss
3.		The Auditor's Opinion (cringely.com)
		1 point by mhb 4 minutes ago \| hide \| past \| discuss
4.		Lenovo announces first laptop with inkjet-printed OLED (tomshardware.com)
		1 point by HardwareLust 6 minutes ago \| hide \| past \| 1 comment
5.		The troubling Russian connections of a 'European' password manager (lemonde.fr)
		1 point by Sami_Lehtinen 8 minutes ago \| hide \| past \| discuss
6.		The State of the Markets (July 2026) (bilello.blog)
		1 point by latentframe 12 minutes ago \| hide \| past \| discuss
7.		Country Draw: Draw the country (country-draw.vercel.app)
		1 point by jonjomckay 13 minutes ago \| hide \| past \| discuss
8.		Show HN: Typst-WASM – Compile Typst in browsers, Node, and serverless runtimes (will-bradshaw50.workers.dev)
		1 point by will-bradshaw 13 minutes ago \| hide \| past \| discuss
9.		Smart Stock Agent (smartstockagent.com)
		1 point by maherdosoqi 16 minutes ago \| hide \| past \| discuss
10.		The Discoverable Evidence of AI-Assisted Software Porting (williamcotton.com)
		1 point by williamcotton 17 minutes ago \| hide \| past \| discuss
11.		Psychedelia syndrome: book-length exploration of the assembly code of the game (homemade.systems)
		1 point by ingve 18 minutes ago \| hide \| past \| discuss
12.		Retok: Token-efficiency analyzer for Claude Code and Codex CLI (zero deps) (github.com/d-date)
		2 points by opwizardx 19 minutes ago \| hide \| past \| discuss
13.		NASA unsure Boeing Starliner will ever be certified for human flight (theregister.com)
		1 point by mooreds 20 minutes ago \| hide \| past \| discuss
14.		Gen Z is pushing back against AI – a reminder that the future isn't written (channelnewsasia.com)
		2 points by Markoff 22 minutes ago \| hide \| past \| discuss
15.		Multi-Primary Color Display Emerges as Next-Gen Color Reproduction Technology (ubiresearchnet.com)
		2 points by ksec 23 minutes ago \| hide \| past \| discuss
16.		Rivers Cuomo GitHub Profile (github.com/riverscuomo)
		2 points by mooreds 24 minutes ago \| hide \| past \| 1 comment
17.		Requential Coding <1 bit compression with better generalization (github.com/shikaiqiu)
		2 points by pavelai 24 minutes ago \| hide \| past \| 2 comments
18.		US Corporate Insiders Are Selling Stocks at a Near Record Pace (bloomberg.com)
		2 points by pimienta 25 minutes ago \| hide \| past \| discuss
19.		Show HN: Syntra – A terminal-first control plane for multi-model coding (github.com/ayushparkara)
		1 point by MANIPULAT0R0321 25 minutes ago \| hide \| past \| discuss
20.		CUDA-accelerated program to search Minecraft seeds for Mooshrom Island biomes (github.com/minecraftathome)
		1 point by Tmpod 26 minutes ago \| hide \| past \| 1 comment
21.		ProtoBot – A Robot That Grows with You (microbots.io)
		1 point by NegatioN 26 minutes ago \| hide \| past \| discuss
22.		SpaceX Post-Listing Collapse Threatens IPO Market's AI Euphoria (bloomberg.com)
		2 points by pimienta 27 minutes ago \| hide \| past \| discuss
23.		Neurodiversity in Tech Slack (nd-in-tech.org)
		1 point by mooreds 27 minutes ago \| hide \| past \| discuss
24.		Open Source License Compatibility Checker (fossa.com)
		2 points by raphinou 34 minutes ago \| hide \| past \| discuss
25.		DayDeck: Visual task management dashboard for Obsidian (community.obsidian.md)
		1 point by shivrajrath 34 minutes ago \| hide \| past \| discuss
26.		Minikotlin (minikotlin.run)
		10 points by frizlab 35 minutes ago \| hide \| past \| discuss
27.		Was ¥4.3T Wiped Out from China's Stock Market Today? (disruptionbanking.com)
		1 point by emsidisii 37 minutes ago \| hide \| past \| 2 comments
28.		Show HN: Unlimited Remove Background and AI Uplscale Image and Pdf Tool Kit (pixoate.com)
		2 points by HSK11 37 minutes ago \| hide \| past \| discuss
29.		Relay.app Is Shutting Down (relay.app)
		1 point by dgarcia360 37 minutes ago \| hide \| past \| discuss
30.		Docling - Composite file format (github.com/docling-project)
		1 point by soupspaces 37 minutes ago \| hide \| past \| discuss
		More