fp.

Unigent SDK – universal cross-harness, cross-session agent workflow scripting

https://github.com/gintasz/unigent

1•gintasz•54s ago•0 comments

Curry-Howard Correspondence – How proof assistants work [pdf]

https://cklixx.people.wm.edu/teaching/math400/Wesley-P1.pdf

1•max-amb•3m ago•0 comments

The Auditor's Opinion

https://www.cringely.com/2026/07/16/the-auditors-opinion/

1•mhb•3m ago•0 comments

Lenovo announces first laptop with inkjet-printed OLED

https://www.tomshardware.com/monitors/lenovo-announces-worlds-first-laptop-with-inkjet-printed-ol...

1•HardwareLust•5m ago•1 comments

The troubling Russian connections of a 'European' password manager

https://www.lemonde.fr/en/pixels/article/2026/07/17/the-troubling-russian-connections-of-a-europe...

1•Sami_Lehtinen•8m ago•0 comments

The State of the Markets (July 2026)

https://bilello.blog/2026/the-state-of-the-markets-july-2026

1•latentframe•11m ago•0 comments

Country Draw: Draw the country

https://country-draw.vercel.app/

1•jonjomckay•13m ago•0 comments

Show HN: Typst-WASM – Compile Typst in browsers, Node, and serverless runtimes

https://typst-wasm-playground-cloudflare.will-bradshaw50.workers.dev/

1•will-bradshaw•13m ago•0 comments

Smart Stock Agent

https://smartstockagent.com

1•maherdosoqi•15m ago•0 comments

The Discoverable Evidence of AI-Assisted Software Porting

https://williamcotton.com/articles/the-discoverable-evidence-of-ai-assisted-software-porting

1•williamcotton•17m ago•0 comments

Psychedelia syndrome: book-length exploration of the assembly code of the game

https://psychedelia.homemade.systems/

1•ingve•18m ago•0 comments

Retok: Token-efficiency analyzer for Claude Code and Codex CLI (zero deps)

https://github.com/d-date/retok

2•opwizardx•18m ago•0 comments

NASA unsure Boeing Starliner will ever be certified for human flight

https://www.theregister.com/offbeat/2026/07/01/nasa-unsure-boeing-starliner-will-ever-be-certifie...

1•mooreds•20m ago•0 comments

Gen Z is pushing back against AI – a reminder that the future isn't written

https://www.channelnewsasia.com/commentary/gen-z-pushback-against-ai-6258016

2•Markoff•22m ago•0 comments

Multi-Primary Color Display Emerges as Next-Gen Color Reproduction Technology

https://en.ubiresearchnet.com/multi-primary-color-display-technology-2026/

2•ksec•23m ago•0 comments

Rivers Cuomo GitHub Profile

https://github.com/riverscuomo

2•mooreds•23m ago•1 comments

Requential Coding <1 bit compression with better generalization

https://github.com/shikaiqiu/requential-coding

2•pavelai•24m ago•2 comments

US Corporate Insiders Are Selling Stocks at a Near Record Pace

https://www.bloomberg.com/news/articles/2026-07-17/us-corporate-insiders-are-selling-stocks-at-a-...

2•pimienta•25m ago•0 comments

Show HN: Syntra – A terminal-first control plane for multi-model coding

https://github.com/AyushParkara/syntra

1•MANIPULAT0R0321•25m ago•0 comments

CUDA-accelerated program to search Minecraft seeds for Mooshrom Island biomes

https://github.com/MinecraftAtHome/COMMISSION

1•Tmpod•26m ago•1 comments

ProtoBot – A Robot That Grows with You

https://microbots.io/products/protobot

1•NegatioN•26m ago•0 comments

SpaceX Post-Listing Collapse Threatens IPO Market's AI Euphoria

https://www.bloomberg.com/news/articles/2026-07-16/spacex-post-listing-collapse-threatens-ipo-mar...

2•pimienta•26m ago•0 comments

Neurodiversity in Tech Slack

https://nd-in-tech.org/

1•mooreds•27m ago•0 comments

Open Source License Compatibility Checker

https://fossa.com/resources/devops-tools/license-compatibility-checker/

2•raphinou•33m ago•0 comments

DayDeck: Visual task management dashboard for Obsidian

https://community.obsidian.md/plugins/daydeck

1•shivrajrath•34m ago•0 comments

Minikotlin

https://minikotlin.run

9•frizlab•35m ago•0 comments

Was ¥4.3T Wiped Out from China's Stock Market Today?

https://www.disruptionbanking.com/2026/07/17/was-¥4-3-trillion-really-wiped-out-from-chinas-stock...

Unigent SDK – universal cross-harness, cross-session agent workflow scripting

Curry-Howard Correspondence – How proof assistants work [pdf]

The Auditor's Opinion

Lenovo announces first laptop with inkjet-printed OLED

The troubling Russian connections of a 'European' password manager

The State of the Markets (July 2026)

Country Draw: Draw the country

Show HN: Typst-WASM – Compile Typst in browsers, Node, and serverless runtimes

Smart Stock Agent

The Discoverable Evidence of AI-Assisted Software Porting

Psychedelia syndrome: book-length exploration of the assembly code of the game

Retok: Token-efficiency analyzer for Claude Code and Codex CLI (zero deps)

NASA unsure Boeing Starliner will ever be certified for human flight

Gen Z is pushing back against AI – a reminder that the future isn't written

Multi-Primary Color Display Emerges as Next-Gen Color Reproduction Technology

Rivers Cuomo GitHub Profile

Requential Coding <1 bit compression with better generalization

US Corporate Insiders Are Selling Stocks at a Near Record Pace

Show HN: Syntra – A terminal-first control plane for multi-model coding

CUDA-accelerated program to search Minecraft seeds for Mooshrom Island biomes

ProtoBot – A Robot That Grows with You

SpaceX Post-Listing Collapse Threatens IPO Market's AI Euphoria

Neurodiversity in Tech Slack

Open Source License Compatibility Checker

DayDeck: Visual task management dashboard for Obsidian

Minikotlin

Was ¥4.3T Wiped Out from China's Stock Market Today?

Show HN: Unlimited Remove Background and AI Uplscale Image and Pdf Tool Kit

Relay.app Is Shutting Down

Docling - Composite file format

Prompt submitted to cloud even when using local LLM by default

Unigent SDK – universal cross-harness, cross-session agent workflow scripting

Curry-Howard Correspondence – How proof assistants work [pdf]

The Auditor's Opinion

Lenovo announces first laptop with inkjet-printed OLED

The troubling Russian connections of a 'European' password manager

The State of the Markets (July 2026)

Country Draw: Draw the country

Show HN: Typst-WASM – Compile Typst in browsers, Node, and serverless runtimes

Smart Stock Agent

The Discoverable Evidence of AI-Assisted Software Porting

Psychedelia syndrome: book-length exploration of the assembly code of the game

Retok: Token-efficiency analyzer for Claude Code and Codex CLI (zero deps)

NASA unsure Boeing Starliner will ever be certified for human flight

Gen Z is pushing back against AI – a reminder that the future isn't written

Multi-Primary Color Display Emerges as Next-Gen Color Reproduction Technology

Rivers Cuomo GitHub Profile

Requential Coding <1 bit compression with better generalization

US Corporate Insiders Are Selling Stocks at a Near Record Pace

Show HN: Syntra – A terminal-first control plane for multi-model coding

CUDA-accelerated program to search Minecraft seeds for Mooshrom Island biomes

ProtoBot – A Robot That Grows with You

SpaceX Post-Listing Collapse Threatens IPO Market's AI Euphoria

Neurodiversity in Tech Slack

Open Source License Compatibility Checker

DayDeck: Visual task management dashboard for Obsidian

Minikotlin

Was ¥4.3T Wiped Out from China's Stock Market Today?

Show HN: Unlimited Remove Background and AI Uplscale Image and Pdf Tool Kit

Relay.app Is Shutting Down

Docling - Composite file format