fp.

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•2m 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•4m ago•0 comments

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

https://app.certora.com/

1•wslh•5m ago•0 comments

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

https://sessionrecorder.com/

1•naffenuf•5m ago•0 comments

Ask HN: Why is slater a miserable loser with 0 life accomplishments?

1•redsunsetx•5m ago•2 comments

The Cost of Thinking Alike

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

1•kodesko•7m ago•0 comments

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

1•amichail•9m ago•1 comments

Show HN: DynaFX – Simulation meets knowledge graphs

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

2•ElegantTrader•10m ago•0 comments

Building Bibliographic Superwork Clusters for Discovery with Local LLMs

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

1•sebg•12m ago•0 comments

Another partial SSI trick with canonicalize

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

1•speckx•13m ago•0 comments

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

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

1•sunrisepeak•14m ago•0 comments

Prolific Counterfeiting (2023)

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

1•gregsadetsky•15m ago•0 comments

SHA pinning GitHub Actions across an organization

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

2•mdean•15m ago•1 comments

Forklane AI – Public Beta Launch

https://forklane.ai

2•akshayl284•17m 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•18m ago•0 comments

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

https://github.com/tsirysndr/bsdkrun

2•tsiry•20m 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•20m ago•0 comments

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

https://clixad.io/

2•flo_r•20m ago•0 comments

A Calculator, Compiled into a Transformer

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

2•sebg•21m ago•0 comments

How Gödel's Proof Works

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

3•tzury•22m ago•0 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•23m 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•23m ago•0 comments

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

https://github.com/lordgreg/rodeo

3•lordgreg•24m ago•1 comments

Leveraging Requirements Engineering for AI Coding Tool Success

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

3•adunk•25m ago•0 comments

The Harness Is the Bottleneck

https://www.chrismdp.com/the-harness-is-the-bottleneck/

3•speckx•26m ago•0 comments

I built a lint for AI-generated evidence

https://apify.com/filipmajchrzak/ai-claim-checkpoint

2•fmajchrzak•27m ago•0 comments

Silver Lake in talks to buy Workday, sources say

https://www.reuters.com/world/silver-lake-talks-buy-workday-sources-say-2026-08-13/

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

Ask HN: Why is slater a miserable loser with 0 life accomplishments?

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

Silver Lake in talks to buy Workday, sources say

SilkCode – Tired of resets/limits with Claude but better than Codex

Yaak.ai Physical AI OS: copper-rs

Caterpillar Technical English agent skill

Romania shuts only nuclear plant as heat causes drop in Danube River level

Comments

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

Ask HN: Why is slater a miserable loser with 0 life accomplishments?

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

Silver Lake in talks to buy Workday, sources say

SilkCode – Tired of resets/limits with Claude but better than Codex

Yaak.ai Physical AI OS: copper-rs

Caterpillar Technical English agent skill