fp.

Property-based testing as executable specs for agentic coding

https://kiro.dev/blog/property-based-testing/

1•logicprog•44s ago•0 comments

GitHub: We're pausing rollout of GPT-5.3-Codex to focus on platform reliability

https://twitter.com/github/status/2021040916451164412

1•PieUser•5m ago•1 comments

SMTLIB as a Compiler IR I

https://www.philipzucker.com/smt_compiler_i/

1•matt_d•7m ago•0 comments

OpenClaw Is the New Linux

https://openclaw.rocks/blog/openclaw-is-the-new-linux/

1•stubbi•9m ago•1 comments

Show HN: A AI-powered, open-source geostrategy game

https://github.com/benjamin-feldman/openwargames

1•b_feldman•11m ago•0 comments

Show HN: LocaFlow – Fast AI Translation Tool for Xcode Strings, XML and JSON

https://locaflow.dev

1•nikolaitarasov•13m ago•0 comments

Work at tiny corp: "Bounties pay you while judging that fit."

https://tinygrad.org/#worktiny

1•ipnon•15m ago•0 comments

Don't use escaping closures in SwiftUI

https://rensbr.eu/blog/swiftui-escaping-closures/

1•burntcaramel•16m ago•0 comments

How TikTok 2.0 Became a Weapon for ICE

https://newrepublic.com/article/205956/americanized-tiktok-backdoor-ice-surveillance

3•c420•16m ago•0 comments

Health Advice from A.I. Chatbots Is Frequently Wrong, Study Shows

https://www.nytimes.com/2026/02/09/well/chatgpt-health-advice.html

2•ceejayoz•16m ago•0 comments

Cleatus, Fox Sports's football robot (2019)

https://www.fastcompany.com/90293253/the-secret-history-of-cleatus-foxs-enduringly-weird-football...

1•firloop•22m ago•0 comments

Show HN: AetherLang – A DSL for building AI workflows with visual debugging

https://github.com/contrario/aetherlang

1•contrario•24m ago•1 comments

'Goldilocks' Effect for Online Teens? Moderate Social Media Users Fare Better

https://reason.com/2026/02/09/a-goldilocks-effect-for-online-teens-moderate-social-media-users-fa...

1•pseudolus•25m ago•0 comments

Show HN: AICO – Manage AI collaborators like managing employees

https://www.the-aico.com/

1•funiqlab•27m ago•0 comments

Baby headcams reveal how babies encounter faces during development

https://medicalxpress.com/news/2026-01-baby-headcams-reveal-babies-encounter.html

2•PaulHoule•30m ago•0 comments

Equality Saturation Meets ML: The Next Step for Smarter Optimizing Compilers [video]

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

1•matt_d•30m ago•0 comments

Btrfs Brings Experimental Remap-Tree Feature and More in Linux 7.0

https://www.phoronix.com/news/Linux-7.0-Btrfs-Changes

2•mikece•33m ago•0 comments

ClawWatcher – Cost and token monitoring for OpenClaw agents

https://clawwatcher.com/

1•Robinbuilds1•35m ago•2 comments

The Lost Dog That Made Constant Surveillance Feel Like a Favor

https://reclaimthenet.org/the-lost-dog-that-made-constant-surveillance-feel-like-a-favor

2•bilsbie•35m ago•0 comments

Why demand for code is infinite: How AI creates more developer jobs

https://stackoverflow.blog/2026/02/09/why-demand-for-code-is-infinite-how-ai-creates-more-develop...

3•mikece•36m ago•0 comments

A decades-old video game has helped me defeat the doomscroll

https://www.theguardian.com/games/2026/feb/09/how-a-decades-old-video-game-has-helped-me-defeat-t...

1•shadow28•36m ago•0 comments

Show HN: Find automation ideas and creators by sharing your business problem

https://www.humation.ai/

1•nectoinc•38m ago•0 comments

Designing and Using Combinators: The Essence of Functional Programming

https://www.cse.chalmers.se/~rjmh/Combinators/

3•myth_drannon•38m ago•0 comments

Show HN: Axiom – Open-source AI research agent that runs locally (C#, Ollama)

https://github.com/DynamicCSharp/hex-dynamics

1•HexDynamics•41m ago•0 comments

Rust implementation of Mistral's Voxtral Mini 4B Realtime runs in your browser

https://github.com/TrevorS/voxtral-mini-realtime-rs

2•Curiositry•41m ago•0 comments

The first time I visited Meta's HQ, it didn't quite register as a real place

https://k2xl.substack.com/p/the-first-time-i-visited-metas-headquarters

2•k2xl•43m ago•0 comments

Show HN: Quickpick UI – type-to-filter picker for React and vanilla JavaScript

https://github.com/compsult/Quickpick-ui

1•compsult•43m ago•0 comments

Joe Rogan Experience #2335 – Dr. Mary Talley Bowden (2025) [video]

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

3•alex1138•43m ago•0 comments

The $70M domain that couldn't survive a Super Bowl ad

https://extended.reading.sh/ai-dot-com-crashes-on-superbowl

2•zenoware•46m ago•1 comments

Rise of the Cowboy Coder

https://jollycoder.com/posts/rise-of-the-cowboy-coder

1•timimahoney•47m ago•0 comments

Property-based testing as executable specs for agentic coding

GitHub: We're pausing rollout of GPT-5.3-Codex to focus on platform reliability

SMTLIB as a Compiler IR I

OpenClaw Is the New Linux

Show HN: A AI-powered, open-source geostrategy game

Show HN: LocaFlow – Fast AI Translation Tool for Xcode Strings, XML and JSON

Work at tiny corp: "Bounties pay you while judging that fit."

Don't use escaping closures in SwiftUI

How TikTok 2.0 Became a Weapon for ICE

Health Advice from A.I. Chatbots Is Frequently Wrong, Study Shows

Cleatus, Fox Sports's football robot (2019)

Show HN: AetherLang – A DSL for building AI workflows with visual debugging

'Goldilocks' Effect for Online Teens? Moderate Social Media Users Fare Better

Show HN: AICO – Manage AI collaborators like managing employees

Baby headcams reveal how babies encounter faces during development

Equality Saturation Meets ML: The Next Step for Smarter Optimizing Compilers [video]

Btrfs Brings Experimental Remap-Tree Feature and More in Linux 7.0

ClawWatcher – Cost and token monitoring for OpenClaw agents

The Lost Dog That Made Constant Surveillance Feel Like a Favor

Why demand for code is infinite: How AI creates more developer jobs

A decades-old video game has helped me defeat the doomscroll

Show HN: Find automation ideas and creators by sharing your business problem

Designing and Using Combinators: The Essence of Functional Programming

Show HN: Axiom – Open-source AI research agent that runs locally (C#, Ollama)

Rust implementation of Mistral's Voxtral Mini 4B Realtime runs in your browser

The first time I visited Meta's HQ, it didn't quite register as a real place

Show HN: Quickpick UI – type-to-filter picker for React and vanilla JavaScript

Joe Rogan Experience #2335 – Dr. Mary Talley Bowden (2025) [video]

The $70M domain that couldn't survive a Super Bowl ad

Rise of the Cowboy Coder

Ads Don't Work That Way (2014)

Property-based testing as executable specs for agentic coding

GitHub: We're pausing rollout of GPT-5.3-Codex to focus on platform reliability

SMTLIB as a Compiler IR I

OpenClaw Is the New Linux

Show HN: A AI-powered, open-source geostrategy game

Show HN: LocaFlow – Fast AI Translation Tool for Xcode Strings, XML and JSON

Work at tiny corp: "Bounties pay you while judging that fit."

Don't use escaping closures in SwiftUI

How TikTok 2.0 Became a Weapon for ICE

Health Advice from A.I. Chatbots Is Frequently Wrong, Study Shows

Cleatus, Fox Sports's football robot (2019)

Show HN: AetherLang – A DSL for building AI workflows with visual debugging

'Goldilocks' Effect for Online Teens? Moderate Social Media Users Fare Better

Show HN: AICO – Manage AI collaborators like managing employees

Baby headcams reveal how babies encounter faces during development

Equality Saturation Meets ML: The Next Step for Smarter Optimizing Compilers [video]

Btrfs Brings Experimental Remap-Tree Feature and More in Linux 7.0

ClawWatcher – Cost and token monitoring for OpenClaw agents

The Lost Dog That Made Constant Surveillance Feel Like a Favor

Why demand for code is infinite: How AI creates more developer jobs

A decades-old video game has helped me defeat the doomscroll

Show HN: Find automation ideas and creators by sharing your business problem

Designing and Using Combinators: The Essence of Functional Programming

Show HN: Axiom – Open-source AI research agent that runs locally (C#, Ollama)

Rust implementation of Mistral's Voxtral Mini 4B Realtime runs in your browser

The first time I visited Meta's HQ, it didn't quite register as a real place

Show HN: Quickpick UI – type-to-filter picker for React and vanilla JavaScript

Joe Rogan Experience #2335 – Dr. Mary Talley Bowden (2025) [video]

The $70M domain that couldn't survive a Super Bowl ad

Rise of the Cowboy Coder