fp.

Horizons – OSS Agent Execution Engine

https://github.com/synth-laboratories/Horizons

2•JoshPurtell•5m ago•1 comments

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

https://github.com/namin/dafny-sandbox/blob/master/Sat.dfy

1•namin•6m ago•0 comments

Ask HN: Anyone Seeing YT ads related to chats on ChatGPT?

1•guhsnamih•6m ago•0 comments

Y Combinator Reverses Decision to Stop Investing in Canada Firms

https://www.bloomberg.com/news/articles/2026-02-05/y-combinator-reverses-decision-to-stop-investi...

1•toomuchtodo•13m ago•1 comments

Datacenter capex gravy train is over

1•zerosizedweasle•17m ago•3 comments

The limits of interview questions

https://orchidfiles.com/the-limits-of-interview-questions/

1•theorchid•21m ago•0 comments

Show HN: ImportKit – Embeddable CSV import widget for SaaS apps

1•gissurthor•21m ago•0 comments

Incarcerated activists from Oscar-nominated documentary sent to solitary

https://www.theguardian.com/us-news/2026/jan/30/alabama-solution-activist-solitary-confinement

4•konaraddi•23m ago•0 comments

What Happens When You Delete a File

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

1•artisandip7•24m ago•0 comments

Counter-Strike Bench: GPT 5.3 Codex vs. Claude Opus 4.6

https://www.instantdb.com/essays/codex_53_opus_46_cs_bench

1•stopachka•26m ago•0 comments

We Reverse-Engineered Docker Sandbox's Undocumented MicroVM API

https://www.rivet.dev/blog/2026-02-04-we-reverse-engineered-docker-sandbox-undocumented-microvm-api/

1•pploug•29m ago•0 comments

My name is Sensurround Q. Catgirl, and I microwave bacon

https://twitter.com/ShamashAran/status/2019442354524979502

1•delichon•29m ago•0 comments

'The EU runs on Microsoft' – and Uncle Sam could turn it off

https://www.theregister.com/2026/02/04/eu_foss_fears/

3•belter•32m ago•0 comments

Geometric Art in Ancient Greece

https://www.metmuseum.org/essays/geometric-art-in-ancient-greece

1•sebg•33m ago•0 comments

meepr

https://meepr.co/

1•bookofjoe•34m ago•0 comments

Show HN: Graph DB-backed game, like Dobble/Spot it to play with Projective Plane

https://github.com/jpadams/fastmatchgame

1•jpadamspdx•34m ago•0 comments

Show HN: Hacker News Topics that Span Multiple Discussions

1•keepamovin•37m ago•1 comments

A First Course in Causal Inference

https://arxiv.org/abs/2305.18793

1•Anon84•38m ago•0 comments

Commodore, IBM, OS/2, ARexx: Deal or No Deal?

https://datagubbe.se/os2/

6•rbanffy•40m ago•0 comments

Caught Trojan Malware in VSCode Extension with 1.3M Downloads

https://vscan.dev/?analysisId=74c4c949-862c-46c8-a8be-e469d4ff1f06

4•shadow-ninja•43m ago•2 comments

TrumpRx: Find the lowest prices on prescription drugs

https://trumprx.gov/

3•0xedb•43m ago•1 comments

Schneier: Data is a toxic asset (2016)

https://www.schneier.com/blog/archives/2016/03/data_is_a_toxic.html

1•insuranceguru•44m ago•0 comments

Show HN: Obooko – Free ebooks with an open-source web reader

https://www.obooko.com

3•gthartley•45m ago•0 comments

Building an ERP in public and looking for early partners

https://www.vantumerp.com/

1•adnan1507•46m ago•1 comments

$300B Evaporated. The SaaS -Pocalypse Has Begun

https://www.forbes.com/sites/donmuir/2026/02/04/300-billion-evaporated-the-saaspocalypse-has-begun/

2•user20180120•46m ago•0 comments

C Isn't a Language

https://faultlore.com/blah/c-isnt-a-language/

2•stickynotememo•47m ago•1 comments

Before Crisis Strikes – Smartwatch Tracks Triggers for Opioid Misuse

https://today.ucsd.edu/story/before-crisis-strikes-smartwatch-tracks-triggers-for-opioid-misuse

1•geox•49m ago•0 comments

Show HN: AcidTest – Security scanner for AI agent skills

https://github.com/currentlycurrently/acidtest

1•cloudmanager•49m ago•1 comments

Show HN: IncidentFox, AI SRE that auto-builds its own integrations (open source)

Horizons – OSS Agent Execution Engine

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

Ask HN: Anyone Seeing YT ads related to chats on ChatGPT?

Y Combinator Reverses Decision to Stop Investing in Canada Firms

Datacenter capex gravy train is over

The limits of interview questions

Show HN: ImportKit – Embeddable CSV import widget for SaaS apps

Incarcerated activists from Oscar-nominated documentary sent to solitary

What Happens When You Delete a File

Counter-Strike Bench: GPT 5.3 Codex vs. Claude Opus 4.6

We Reverse-Engineered Docker Sandbox's Undocumented MicroVM API

My name is Sensurround Q. Catgirl, and I microwave bacon

'The EU runs on Microsoft' – and Uncle Sam could turn it off

Geometric Art in Ancient Greece

meepr

Show HN: Graph DB-backed game, like Dobble/Spot it to play with Projective Plane

Show HN: Hacker News Topics that Span Multiple Discussions

A First Course in Causal Inference

Commodore, IBM, OS/2, ARexx: Deal or No Deal?

Caught Trojan Malware in VSCode Extension with 1.3M Downloads

TrumpRx: Find the lowest prices on prescription drugs

Schneier: Data is a toxic asset (2016)

Show HN: Obooko – Free ebooks with an open-source web reader

Building an ERP in public and looking for early partners

$300B Evaporated. The SaaS -Pocalypse Has Begun

C Isn't a Language

Before Crisis Strikes – Smartwatch Tracks Triggers for Opioid Misuse

Show HN: AcidTest – Security scanner for AI agent skills

Show HN: IncidentFox, AI SRE that auto-builds its own integrations (open source)

Sudo's maintainer needs resources to keep utility updated

The Melania coin is down 98% since its launch

Comments

Horizons – OSS Agent Execution Engine

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

Ask HN: Anyone Seeing YT ads related to chats on ChatGPT?

Y Combinator Reverses Decision to Stop Investing in Canada Firms

Datacenter capex gravy train is over

The limits of interview questions

Show HN: ImportKit – Embeddable CSV import widget for SaaS apps

Incarcerated activists from Oscar-nominated documentary sent to solitary

What Happens When You Delete a File

Counter-Strike Bench: GPT 5.3 Codex vs. Claude Opus 4.6

We Reverse-Engineered Docker Sandbox's Undocumented MicroVM API

My name is Sensurround Q. Catgirl, and I microwave bacon

'The EU runs on Microsoft' – and Uncle Sam could turn it off

Geometric Art in Ancient Greece

meepr

Show HN: Graph DB-backed game, like Dobble/Spot it to play with Projective Plane

Show HN: Hacker News Topics that Span Multiple Discussions

A First Course in Causal Inference

Commodore, IBM, OS/2, ARexx: Deal or No Deal?

Caught Trojan Malware in VSCode Extension with 1.3M Downloads

TrumpRx: Find the lowest prices on prescription drugs

Schneier: Data is a toxic asset (2016)

Show HN: Obooko – Free ebooks with an open-source web reader

Building an ERP in public and looking for early partners

$300B Evaporated. The SaaS -Pocalypse Has Begun

C Isn't a Language

Before Crisis Strikes – Smartwatch Tracks Triggers for Opioid Misuse

Show HN: AcidTest – Security scanner for AI agent skills

Show HN: IncidentFox, AI SRE that auto-builds its own integrations (open source)

Sudo's maintainer needs resources to keep utility updated