fp.

Dyna-2: A Million Hours of Human Video, Zero Robot Frames

https://topicqueue.substack.com/p/a-million-hours-of-human-video-zero

1•DISCURSIVE•1m ago•0 comments

Ask HN: Why are TUIs in trend?

1•roundabout-host•2m ago•1 comments

Astronomers discover a new type of astrophysical object: A black hole star

https://news.mit.edu/2026/astronomers-discover-brand-new-type-astrophysical-object-black-hole-sta...

1•NKosmatos•2m ago•0 comments

Lemmings

https://buzzard1337.itch.io/lemmings

3•bookofjoe•3m ago•0 comments

The Crypto Industry Lost

https://greyenlightenment.com/2026/08/03/the-crypto-industry-lost/

1•paulpauper•3m ago•0 comments

What We Learned Tracing North Korea's Hidden Workforce Inside American Companies

https://www.wsj.com/world/asia/what-we-learned-tracing-north-koreas-hidden-workforce-inside-ameri...

1•berkeleyjunk•6m ago•0 comments

Korea's 22% Rebound Puts the Chip Trade Back in the Spotlight

https://predx-article.fika.bar/korea-s-22-rebound-puts-the-chip-trade-back-in-the-spotligh-01KZWF...

1•joeymabia1•7m ago•0 comments

AutoProver: AI agents and formal methods for intent, specs, bugs analysis

https://app.certora.com/

2•wslh•8m ago•0 comments

Show HN: Session Recorder – an always-on system audio tape for macOS

https://sessionrecorder.com/

1•naffenuf•8m ago•0 comments

The Cost of Thinking Alike

https://www.thesignalist.io/s/the-cost-of-thinking-alike/

1•kodesko•10m ago•0 comments

Ask HN: Why not a utility to save your Mac from a software bug killing your SSD?

1•amichail•12m ago•1 comments

Show HN: DynaFX – Simulation meets knowledge graphs

https://github.com/Achref-Yak/DynaFX

2•ElegantTrader•14m ago•0 comments

Building Bibliographic Superwork Clusters for Discovery with Local LLMs

https://thisismattmiller.com/post/superwork/

1•sebg•15m ago•0 comments

Another partial SSI trick with canonicalize

https://bernsteinbear.com/blog/more-partial-ssi/

1•speckx•16m ago•0 comments

Show HN: Multi-version management (by xlings) for DeepSeek Harness

https://openxlings.github.io/xim-pkgindex/en/packages/dsh/

1•sunrisepeak•17m ago•0 comments

Prolific Counterfeiting (2023)

https://computer.rip/2023-10-09-prolific-counterfeiting.html

1•gregsadetsky•18m ago•0 comments

SHA pinning GitHub Actions across an organization

https://semgrep.dev/blog/2026/sha-pinning-for-github-actions-org-wide/

2•mdean•19m ago•1 comments

Forklane AI – Public Beta Launch

https://forklane.ai

2•akshayl284•20m ago•1 comments

Polestar Dealer Claims Automaker 'Orchestrated' Its U.S. Ban in Lawsuit

https://www.wsj.com/business/autos/polestar-dealer-claims-automaker-orchestrated-its-u-s-ban-in-l...

4•JumpCrisscross•21m ago•0 comments

Show HN: Bsdkrun – Instant MicroVMs/Unikernels for macOS and Linux

https://github.com/tsirysndr/bsdkrun

2•tsiry•23m ago•0 comments

Israel's Rave Music Drowns Out the Sound of Its Victims

https://www.currentaffairs.org/news/israels-rave-music-drowns-out-the-sound-of-its-victims

6•newspaper1•23m ago•0 comments

Show HN: Clixad – Free AI coding agent in the terminal, funded by an offerwall

https://clixad.io/

2•flo_r•23m ago•0 comments

A Calculator, Compiled into a Transformer

https://ood.dev/posts/calculator/

2•sebg•24m ago•0 comments

How Gödel's Proof Works

https://www.quantamagazine.org/how-godels-proof-works-20200714/

4•tzury•26m ago•1 comments

C3 0.8.3: Feature flags, macOS SDK fetching, and regex support

https://c3-lang.org/blog/c3_0_8_3_feature_flags/

2•kI3RO•26m ago•0 comments

The government is recruiting tech companies to help fight its cyber battles

https://www.politico.com/news/2026/08/13/white-house-memo-cybercrime-01036176

3•giuliomagnifico•27m ago•0 comments

Rodeo, a terminal file manager inspired by Norton/Midnight Commander (Rust)

https://github.com/lordgreg/rodeo

3•lordgreg•28m ago•1 comments

Leveraging Requirements Engineering for AI Coding Tool Success

https://cacm.acm.org/news/leveraging-requirements-engineering-for-ai-coding-tool-success/

Dyna-2: A Million Hours of Human Video, Zero Robot Frames

Ask HN: Why are TUIs in trend?

Astronomers discover a new type of astrophysical object: A black hole star

Lemmings

The Crypto Industry Lost

What We Learned Tracing North Korea's Hidden Workforce Inside American Companies

Korea's 22% Rebound Puts the Chip Trade Back in the Spotlight

AutoProver: AI agents and formal methods for intent, specs, bugs analysis

Show HN: Session Recorder – an always-on system audio tape for macOS

The Cost of Thinking Alike

Ask HN: Why not a utility to save your Mac from a software bug killing your SSD?

Show HN: DynaFX – Simulation meets knowledge graphs

Building Bibliographic Superwork Clusters for Discovery with Local LLMs

Another partial SSI trick with canonicalize

Show HN: Multi-version management (by xlings) for DeepSeek Harness

Prolific Counterfeiting (2023)

SHA pinning GitHub Actions across an organization

Forklane AI – Public Beta Launch

Polestar Dealer Claims Automaker 'Orchestrated' Its U.S. Ban in Lawsuit

Show HN: Bsdkrun – Instant MicroVMs/Unikernels for macOS and Linux

Israel's Rave Music Drowns Out the Sound of Its Victims

Show HN: Clixad – Free AI coding agent in the terminal, funded by an offerwall

A Calculator, Compiled into a Transformer

How Gödel's Proof Works

C3 0.8.3: Feature flags, macOS SDK fetching, and regex support

The government is recruiting tech companies to help fight its cyber battles

Rodeo, a terminal file manager inspired by Norton/Midnight Commander (Rust)

Leveraging Requirements Engineering for AI Coding Tool Success

The Harness Is the Bottleneck

I built a lint for AI-generated evidence

CheeseChain

Dyna-2: A Million Hours of Human Video, Zero Robot Frames

Ask HN: Why are TUIs in trend?

Astronomers discover a new type of astrophysical object: A black hole star

Lemmings

The Crypto Industry Lost

What We Learned Tracing North Korea's Hidden Workforce Inside American Companies

Korea's 22% Rebound Puts the Chip Trade Back in the Spotlight

AutoProver: AI agents and formal methods for intent, specs, bugs analysis

Show HN: Session Recorder – an always-on system audio tape for macOS

The Cost of Thinking Alike

Ask HN: Why not a utility to save your Mac from a software bug killing your SSD?

Show HN: DynaFX – Simulation meets knowledge graphs

Building Bibliographic Superwork Clusters for Discovery with Local LLMs

Another partial SSI trick with canonicalize

Show HN: Multi-version management (by xlings) for DeepSeek Harness

Prolific Counterfeiting (2023)

SHA pinning GitHub Actions across an organization

Forklane AI – Public Beta Launch

Polestar Dealer Claims Automaker 'Orchestrated' Its U.S. Ban in Lawsuit

Show HN: Bsdkrun – Instant MicroVMs/Unikernels for macOS and Linux

Israel's Rave Music Drowns Out the Sound of Its Victims

Show HN: Clixad – Free AI coding agent in the terminal, funded by an offerwall

A Calculator, Compiled into a Transformer

How Gödel's Proof Works

C3 0.8.3: Feature flags, macOS SDK fetching, and regex support

The government is recruiting tech companies to help fight its cyber battles

Rodeo, a terminal file manager inspired by Norton/Midnight Commander (Rust)

Leveraging Requirements Engineering for AI Coding Tool Success

The Harness Is the Bottleneck

I built a lint for AI-generated evidence