fp.

Can Opus 4.6 Do Category Theory in Lean?

https://www.stephendiehl.com/posts/lean-opus-blog/

1•macleginn•33s ago•0 comments

Bankruptsy

https://lightward.com/bankruptsy

1•isaacbowen•1m ago•0 comments

Architecture of Consoles

https://www.copetti.org/writings/consoles/

1•lopespm•3m ago•0 comments

Updated Thoughts on AI Risk

https://www.noahpinion.blog/p/updated-thoughts-on-ai-risk

1•paulpauper•3m ago•0 comments

Show HN: ChessGrammar – API that detects tactical patterns in chess positions

1•stevejvv•4m ago•0 comments

AI Eats the World, and Most of Its Flash Storage

https://www.nextplatform.com/2026/02/17/ai-eats-the-world-and-most-of-its-flash-storage/

2•rbanffy•6m ago•0 comments

Diagnosing a PET Video Fault from One Photograph

http://blog.tynemouthsoftware.co.uk/2026/02/diagnosing-a-pet-video-fault-from-one-photo.html

1•WaluigiBSOD•7m ago•0 comments

Show HN: FolioDoc – I built a tool to stop chasing clients for documents

2•Foliodoc•9m ago•0 comments

Phishing Detection NLP Heuristic: Prototype Achieves 60% Detection Rate

https://horeszko.ca/blog/phishing-detection.html

1•horeszko•10m ago•0 comments

Lessons from building the best Deep Research and how you can build better agents

https://www.onyx.app/blog/building-the-best-deep-research

1•yuhongsun•12m ago•0 comments

Algorithm-based tool for home support funding is 'cruel' and 'inhumane'

https://www.theguardian.com/australia-news/2026/feb/17/australian-aged-care-algorithm-tool-home-s...

1•novemp•13m ago•0 comments

U.S. releases new details on alleged secret Chinese nuclear test

https://www.npr.org/2026/02/17/nx-s1-5716046/u-s-releases-new-details-on-alleged-secret-chinese-n...

1•ironyman•15m ago•0 comments

America's Future Leaders Are Learning to Become Grifters

https://www.robkhenderson.com/p/americas-future-leaders-are-learning

7•paulpauper•15m ago•0 comments

Basecamp/upright: Synthetic monitoring engine with Playwright and Prometheus

https://github.com/basecamp/upright

1•hahahacorn•15m ago•0 comments

Show HN: Cursor for Observability

https://dashboard.rocketgraph.app

2•kvaranasi_•16m ago•0 comments

The Live Music Event That Changed My Life

https://www.honest-broker.com/p/the-live-music-event-that-changed

1•paulpauper•16m ago•0 comments

Open Source and GenAI?

https://www.tbray.org/ongoing/When/202x/2026/02/16/GenAI-and-OSS-opinion

1•zdw•16m ago•0 comments

Convert Anything,Locally

https://p2r3.github.io/convert/

1•matan-h•20m ago•0 comments

State of the Agent: Do coding agents know what they don't know?

https://thinkwright.ai/agent-census/

1•oceanwaves•21m ago•0 comments

Dolphin Emulator – Rise of the Triforce

https://br.dolphin-emu.org/blog/2026/02/16/rise-of-the-triforce/?cr=br

10•lsferreira42•22m ago•2 comments

Fast sorting networks, branchless by design

https://00f.net/2026/02/17/sorting-without-leaking-secrets/

4•fanf2•24m ago•0 comments

Meta research found supervision doesn't curb teens' compulsive social media use

https://techcrunch.com/2026/02/17/metas-own-research-found-parental-supervision-doesnt-really-hel...

5•cdrnsf•25m ago•0 comments

A game about programming exposed players to remote code execution

https://outsidetheasylum.blog/screeps/

1•PaulHoule•26m ago•0 comments

Drop in unauthorized immigration slows job growth, SF Fed paper finds

https://www.reuters.com/business/drop-unauthorized-immigration-slows-job-growth-sf-fed-paper-find...

3•geox•26m ago•0 comments

Show HN: Jitzu – My PowerShell Killer

https://jitzu.dev

3•Simon-curtis•28m ago•2 comments

Distinguish skipped CI from failed CI on PRs page

2•nishiohiroshi•28m ago•0 comments

Show HN: Seren Skills – Community-Driven Skills for Seren Desktop

https://github.com/serenorg/skills

1•taariqlewis•30m ago•0 comments

BackgroundRemover 0.4.1

https://github.com/nadermx/backgroundremover

2•nadermx•30m ago•0 comments

Against Taste

https://twitter.com/WillManidis/status/2023866928608002183

1•jger15•30m ago•0 comments

Ask HN: AI WTF

3•xendo•31m ago•1 comments

Can Opus 4.6 Do Category Theory in Lean?

Bankruptsy

Architecture of Consoles

Updated Thoughts on AI Risk

Show HN: ChessGrammar – API that detects tactical patterns in chess positions

AI Eats the World, and Most of Its Flash Storage

Diagnosing a PET Video Fault from One Photograph

Show HN: FolioDoc – I built a tool to stop chasing clients for documents

Phishing Detection NLP Heuristic: Prototype Achieves 60% Detection Rate

Lessons from building the best Deep Research and how you can build better agents

Algorithm-based tool for home support funding is 'cruel' and 'inhumane'

U.S. releases new details on alleged secret Chinese nuclear test

America's Future Leaders Are Learning to Become Grifters

Basecamp/upright: Synthetic monitoring engine with Playwright and Prometheus

Show HN: Cursor for Observability

The Live Music Event That Changed My Life

Open Source and GenAI?

Convert Anything,Locally

State of the Agent: Do coding agents know what they don't know?

Dolphin Emulator – Rise of the Triforce

Fast sorting networks, branchless by design

Meta research found supervision doesn't curb teens' compulsive social media use

A game about programming exposed players to remote code execution

Drop in unauthorized immigration slows job growth, SF Fed paper finds

Show HN: Jitzu – My PowerShell Killer

Distinguish skipped CI from failed CI on PRs page

Show HN: Seren Skills – Community-Driven Skills for Seren Desktop

BackgroundRemover 0.4.1

Against Taste

Ask HN: AI WTF

Can Opus 4.6 Do Category Theory in Lean?

Bankruptsy

Architecture of Consoles

Updated Thoughts on AI Risk

Show HN: ChessGrammar – API that detects tactical patterns in chess positions

AI Eats the World, and Most of Its Flash Storage

Diagnosing a PET Video Fault from One Photograph

Show HN: FolioDoc – I built a tool to stop chasing clients for documents

Phishing Detection NLP Heuristic: Prototype Achieves 60% Detection Rate

Lessons from building the best Deep Research and how you can build better agents

Algorithm-based tool for home support funding is 'cruel' and 'inhumane'

U.S. releases new details on alleged secret Chinese nuclear test

America's Future Leaders Are Learning to Become Grifters

Basecamp/upright: Synthetic monitoring engine with Playwright and Prometheus

Show HN: Cursor for Observability

The Live Music Event That Changed My Life

Open Source and GenAI?

Convert Anything,Locally

State of the Agent: Do coding agents know what they don't know?

Dolphin Emulator – Rise of the Triforce

Fast sorting networks, branchless by design

Meta research found supervision doesn't curb teens' compulsive social media use

A game about programming exposed players to remote code execution

Drop in unauthorized immigration slows job growth, SF Fed paper finds

Show HN: Jitzu – My PowerShell Killer

Distinguish skipped CI from failed CI on PRs page

Show HN: Seren Skills – Community-Driven Skills for Seren Desktop

BackgroundRemover 0.4.1

Against Taste

Ask HN: AI WTF

BarraCUDA Open-source CUDA compiler targeting AMD GPUs

Comments