fp.

How Gödel's Proof Works

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

1•tzury•1m 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/

1•kI3RO•1m 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

1•giuliomagnifico•2m ago•0 comments

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

https://github.com/lordgreg/rodeo

1•lordgreg•3m ago•1 comments

Leveraging Requirements Engineering for AI Coding Tool Success

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

1•adunk•4m ago•0 comments

The Harness Is the Bottleneck

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

1•speckx•4m ago•0 comments

I built a lint for AI-generated evidence

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

1•fmajchrzak•5m 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/

2•JumpCrisscross•6m ago•0 comments

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

https://silkcode.web.app/

1•amonte•10m ago•0 comments

Yaak.ai Physical AI OS: copper-rs

https://www.yaak.ai/blog/yaak-x-copper

1•gbin•11m ago•0 comments

Caterpillar Technical English agent skill

https://github.com/IgaoGuru/caterpillar-technical-english

1•falso•11m ago•2 comments

TikTok finfluencers: How reliable is their financial advice to young investors?

https://www.euronews.com/my-europe/2026/08/13/tiktoks-finfluencers-how-reliable-is-the-financial-...

4•devonnull•12m ago•0 comments

Building a Minecraft Computer Taught Me More About CPUs Than University Did

https://tonyist.xyz/building-a-redstone-computer/

1•ReFruity•13m ago•0 comments

Northwest Indiana residents dealing with 'largest outage event on record'

https://wgntv.com/northwest-indiana/northwest-indiana-residents-dealing-with-largest-outage-event...

2•Ariarule•14m ago•2 comments

The Making of Cursor's Icons

https://www.minoradventures.co/blog/the-making-of-cursors-icons

1•ananmays•18m ago•0 comments

Airbnb Eval-driven development: Lessons from evaluating GenAI at scale

https://medium.com/airbnb-engineering/eval-driven-development-lessons-from-evaluating-genai-at-sc...

1•sebg•19m ago•0 comments

My app for Shipaton 2026: Two Weeks In

https://darrylbayliss.net/im-building-for-shipaton-2026-week-two/

2•darryl_bayliss•20m ago•1 comments

How Organizations Use AI: Evidence from ChatGPT [pdf]

https://cdn.openai.com/pdf/how-organizations-use-chatgpt.pdf

3•malshe•20m ago•0 comments

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

https://www.bbc.com/news/articles/cqlxpq5q799o

5•tartoran•21m ago•1 comments

CheeseChain

https://www.csg.uzh.ch/en/research/CheeseChain.html

2•mooreds•23m ago•0 comments

Namecheap has been down for six hours

https://twitter.com/namecheapceo/status/2087931259389464611

3•janpmz•23m ago•0 comments

µ-Boosting Your CMake Productivity with Environment Variables

https://www.kdab.com/%C2%B5-boosting-your-cmake-productivity-with-environment-variables/

2•dalvrosa•24m ago•0 comments

Ask HN: How much money do you spend monthly on subscriptions for AI models?

3•marko-djuric•24m ago•5 comments

Swinth – By Sung J. Woo

https://www.goto10retro.com/p/the-history-of-swinth

2•rbanffy•25m ago•0 comments

Jeff Dean: The 1% Rule for Building in AI [video]

https://www.youtube.com/watch?v=CxXgV54KzpQ

3•Anon84•26m ago•0 comments

The Buzzword-Driven Development Manifesto (AI Edition)

https://github.com/gabert/buzzword-driven-development

2•gabert•26m ago•0 comments

Perseids Meteor Shower

https://science.nasa.gov/solar-system/meteors-meteorites/perseids/

3•wslh•26m ago•0 comments

Reviewing the evidence on worker retraining programs

https://www.anthropic.com/research/reviewing-the-evidence-on-worker-retraining-programs

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

TikTok finfluencers: How reliable is their financial advice to young investors?

Building a Minecraft Computer Taught Me More About CPUs Than University Did

Northwest Indiana residents dealing with 'largest outage event on record'

The Making of Cursor's Icons

Airbnb Eval-driven development: Lessons from evaluating GenAI at scale

My app for Shipaton 2026: Two Weeks In

How Organizations Use AI: Evidence from ChatGPT [pdf]

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

CheeseChain

Namecheap has been down for six hours

µ-Boosting Your CMake Productivity with Environment Variables

Ask HN: How much money do you spend monthly on subscriptions for AI models?

Swinth – By Sung J. Woo

Jeff Dean: The 1% Rule for Building in AI [video]

The Buzzword-Driven Development Manifesto (AI Edition)

Perseids Meteor Shower

Reviewing the evidence on worker retraining programs

Thoughts on "SIMD in Pure Python" – purplesyringa's blog

Innovations of SolidJS 2

RIP Claude

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

TikTok finfluencers: How reliable is their financial advice to young investors?

Building a Minecraft Computer Taught Me More About CPUs Than University Did

Northwest Indiana residents dealing with 'largest outage event on record'

The Making of Cursor's Icons

Airbnb Eval-driven development: Lessons from evaluating GenAI at scale

My app for Shipaton 2026: Two Weeks In

How Organizations Use AI: Evidence from ChatGPT [pdf]

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

CheeseChain

Namecheap has been down for six hours

µ-Boosting Your CMake Productivity with Environment Variables

Ask HN: How much money do you spend monthly on subscriptions for AI models?

Swinth – By Sung J. Woo

Jeff Dean: The 1% Rule for Building in AI [video]

The Buzzword-Driven Development Manifesto (AI Edition)

Perseids Meteor Shower

Reviewing the evidence on worker retraining programs

Thoughts on "SIMD in Pure Python" – purplesyringa's blog

Innovations of SolidJS 2