fp.

Formally Verifying PBS Kids with Lean4

https://www.shadaj.me/writing/cyberchase-lean

1•shadaj•2m ago•0 comments

Offosm: OSM that you can access while you're offline

https://github.com/altilunium/offosm

1•altilunium•4m ago•0 comments

The Internet's Latest Lie: Moltbook

https://startupfortune.com/the-internets-latest-lie-moltbook-has-no-autonomous-ai-agents-only-hum...

1•lu5t•5m ago•0 comments

Reimplementing Tor from Scratch for a Single-Hop Proxy

https://foxmoss.com/blog/kurrat/

1•foxmoss•5m ago•0 comments

A premature software standard has led to billions in losses

https://hugo0.com/blog/how-erc20-held-back-blockchain-payments-a-decade

1•montenegrohugo•5m ago•1 comments

Intro to Cstml (Or: XML Meets JSON)

https://docs.bablr.org/guides/cstml/

1•todsacerdoti•5m ago•0 comments

The Dependency Layer in Digital Sovereignty

https://nesbitt.io/2026/01/28/the-dependency-layer-in-digital-sovereignty.html

1•speckx•5m ago•0 comments

Valued at 800M after less than two years,Vega eyes the path blazed by Wiz

https://www.calcalistech.com/ctechnews/article/sjs00wc2ubx

1•myth_drannon•6m ago•0 comments

Hybrid pricing is the default now – here's the data

https://www.solvimon.com/blog/hybrid-pricing-is-the-default-now-heres-the-data

1•arnon•7m ago•0 comments

Why software stocks are getting pummeled

https://www.economist.com/business/2026/02/01/why-software-stocks-are-getting-pummelled

2•andsoitis•8m ago•0 comments

A creator's bill of rights for the AI era

https://smmall.cloud/blog/creators-bill-of-rights-for-the-ai-era

1•a_band•8m ago•0 comments

Ask HN: Why not have a subreddit where all voting is done by a single AI?

2•amichail•13m ago•3 comments

I'm a wanted criminal in Italy. Well, maybe. Probably not

https://82mhz.net/posts/2026/01/i-m-a-wanted-criminal-in-italy-well-maybe-probably-not/

1•speckx•14m ago•0 comments

Show HN: A free and open source SSH client for iOS

https://github.com/neon443/ShhShell

1•neon443•14m ago•0 comments

Two weeks ago I shared Pdfwithlove in browser PDF toolkit with no uploads

https://pdfwithlove.netlify.app/#all-tools

1•pratik227•14m ago•1 comments

Show HN: Weather Haiku – AI-generated poetry for any location's current weather

https://weatherhaiku.cc

2•minor_drizzle•16m ago•1 comments

The Garbage PC

https://ounapuu.ee/posts/2026/02/02/garbage-time/

2•celsoazevedo•19m ago•0 comments

Show HN: Shoulditrustit.com – a simple, early alternative to Trustpilot

https://www.shouldItrustIt.com

1•franbetteo•20m ago•0 comments

How to Unabstract an Abstraction

https://www.jakeworth.com/posts/how-to-unabstract-an-abstraction/

1•jwworth•21m ago•0 comments

Tim Cook sold Apple's soul

https://www.loopwerk.io/articles/2026/tim-cook-sold-apples-soul/

6•kjmr•21m ago•0 comments

Sand heat storage with circulating sand reduces energy costs and CO2 emissions

https://www.heise.de/en/news/Sand-heat-storage-with-circulating-sand-reduces-energy-costs-and-CO-...

1•westurner•21m ago•0 comments

OpenClaw feels Scary now!

https://moithub.com/

2•javantanna•22m ago•0 comments

Bay Area woman loses $176K after accepting remote job she thought was Facebook [video]

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

1•mgh2•22m ago•0 comments

Schedule Across >2 Timezones

https://greatletsmeet.com/

1•marctuinier•23m ago•0 comments

Big tech is trading headcount for GPU capex

https://www.augmentedswe.com/p/tech-job-market-is-brutal

2•wordsaboutcode•25m ago•0 comments

Turn your workflow screen recording into instructional step-by-step guide

https://video2docs.com/

1•angelina200•25m ago•1 comments

Moltbook Anatomy: AI Agents Social Network Exploration

https://altsoph.substack.com/p/moltbook-anatomy-ai-agents-social

1•kirushik•26m ago•0 comments

Explicit Resource Management in JavaScript

https://allthingssmitty.com/2026/02/02/explicit-resource-management-in-javascript/

2•AllThingsSmitty•26m ago•1 comments

Why won't my team use agents? Meditations on AI agent adoption

https://12gramsofcarbon.com/p/why-wont-my-team-use-agents

1•andyjohnson0•27m ago•0 comments

Living Stingy: Why Linux Hasn't Supplanted Windows

http://livingstingy.blogspot.com/2026/02/why-linux-hasnt-supplanted-windows.html

1•speckx•27m ago•0 comments

Open in hackernews

Microsoft is using Claude Code internally while selling you Copilot

https://blog.devgenius.io/microsoft-is-using-claude-code-internally-while-selling-you-copilot-d586a35b32f9

6•tessierashpool9•1h ago

Comments

fastThinking•1h ago

So Copilot is for customers, Claude is for getting actual work done?

khelavastr•39m ago

The only way Microsoft can effectively keep Copilot superior is to THOROUGHLY test it against Claude at enterprise scale..

DustinEchoes•8m ago

Many MS employees also use MacBooks instead of Windows laptops.