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

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

https://app.certora.com/

1•wslh•4m ago•0 comments

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

https://sessionrecorder.com/

1•naffenuf•4m 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•0 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•11m ago•0 comments

Another partial SSI trick with canonicalize

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

1•speckx•12m ago•0 comments

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

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

1•sunrisepeak•13m 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...

3•JumpCrisscross•17m ago•0 comments

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

https://github.com/tsirysndr/bsdkrun

2•tsiry•19m 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•19m 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•22m 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•25m ago•0 comments

I built a lint for AI-generated evidence

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

2•fmajchrzak•26m 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

Perseids Meteor Shower

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