fp.

Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4

https://arxiv.org/abs/2602.08384

1•lr0•51s ago•0 comments

Legal framework around embryo trait selection is no legal framework

https://jonasanksher.substack.com/p/the-best-legal-framework-around-embryo

1•paulpauper•1m ago•0 comments

Building a faster YARA engine in pure Go

https://sansec.io/research/yargo

1•danslo•1m ago•0 comments

The Opsec Bible

https://opsec.hackliberty.org/opsec/

1•krunck•2m ago•0 comments

Kiro Design-First and Bugfix Specs

https://kiro.dev/blog/specs-bugfix-and-design-first/

1•nslog•4m ago•0 comments

Gemini Bug: Stress-Induced Overcompensation and Integrity Loss

1•gemfan•5m ago•0 comments

Silicon Valley is building a shadow power grid for data centers across the US

https://www.washingtonpost.com/business/2026/02/19/data-centers-power-grid-ai/

1•clcaev•5m ago•0 comments

Clasp – A LinkedIn alternative where Claude does the networking for you

https://getclasp.io

1•JCECOLLC•5m ago•1 comments

Endianness, WOOT? (2025)

https://ola.bearblog.dev/endianness-woot/

1•mooreds•6m ago•0 comments

Meta expands Nvidia deal to use AI data center chips

https://www.cnbc.com/2026/02/17/meta-nvidia-deal-ai-data-center-chips.html

1•gmays•7m ago•1 comments

Freedom.gov

https://freedom.gov/

1•barbazoo•10m ago•1 comments

The unauthorized tool call problem

https://www.answer.ai/posts/2026-01-20-toolcalling.html

1•tosh•12m ago•0 comments

Rats demonstrate ability to replay episodic memories in complex settings

https://phys.org/news/2026-01-rats-ability-replay-episodic-memories.html

1•PaulHoule•12m ago•0 comments

Goldratt, Not Stroustrup

https://ildarakhmetov.com/blog/2026/goldratt-not-stroustrup/

1•ildarakhmetov•13m ago•0 comments

Show HN: Embeddable scripting language for Go

1•funbitty•14m ago•0 comments

Eats Disks (2000)

https://www.nickh.org/warstories/eatsdisks.html

1•xk3•14m ago•0 comments

Linux CVE Assignment Process

http://www.kroah.com/log/blog/2026/02/16/linux-cve-assignment-process/

1•fanf2•15m ago•0 comments

Show HN: Mcpsec-A multi-agent SEC gate for MCP toolchains (scan →harden →rescan)

https://github.com/yuvrajgitwork/MCP-toolchain-security-GK

1•Yuvraj_exe•15m ago•0 comments

Show HN: Ball 2 – Use AI to build fun ball games

https://shop.ball2.ai/

1•klangdon•16m ago•0 comments

I ran 2,178 simulations on an autonomous AI economy

https://github.com/swimmingkiim/a2a-project/blob/main/docs/SIMULATION_PAPER_EN.md

1•swimmingkiim•19m ago•1 comments

Local storage for coding agents resolves amnesia

https://github.com/mobydeck/pantry

1•arthurpro•20m ago•0 comments

Ask HN: In the Age of AI, How Do I Grow as a Software Engineer?

1•mc-0•21m ago•0 comments

Show HN: Remote Coding Agent

https://github.com/tacogips/QraftBox

1•tacogips•21m ago•0 comments

Deaths in Ice Custody Texas

https://www.texastribune.org/2026/02/19/ice-detention-deaths-texas-east-montana-dilley-campos/

6•marysminefnuf•22m ago•3 comments

Claude Code in the cloud as an API (persistent workspace and scheduled jobs)

https://computer-agents.com

1•janlucasandmann•25m ago•1 comments

Beyond Slop – Why generative AI is stuck on content production, not expression

https://www.joelsimon.net/beyond-slop

3•joelS•25m ago•0 comments

Show HN: Ghostty-based terminal with vertical tabs and notifications

https://github.com/manaflow-ai/cmux

14•lawrencechen•27m ago•1 comments

Show HN: YAML SSH Task Runner

https://github.com/mikemasam/nyatictl

2•mikemasam•27m ago•0 comments

Show HN: StillOnAir – Turn YouTube into programmable, linear TV for free

https://www.stillonair.com/

2•nanamichael•28m ago•0 comments

In contrast with Trump's America, Europe's 100 gigawatt clean energy hub

https://www.cnn.com/2026/02/19/climate/trump-wind-europe-clean-energy-independence

5•asplake•28m ago•2 comments

Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4

Legal framework around embryo trait selection is no legal framework

Building a faster YARA engine in pure Go

The Opsec Bible

Kiro Design-First and Bugfix Specs

Gemini Bug: Stress-Induced Overcompensation and Integrity Loss

Silicon Valley is building a shadow power grid for data centers across the US

Clasp – A LinkedIn alternative where Claude does the networking for you

Endianness, WOOT? (2025)

Meta expands Nvidia deal to use AI data center chips

Freedom.gov

The unauthorized tool call problem

Rats demonstrate ability to replay episodic memories in complex settings

Goldratt, Not Stroustrup

Show HN: Embeddable scripting language for Go

Eats Disks (2000)

Linux CVE Assignment Process

Show HN: Mcpsec-A multi-agent SEC gate for MCP toolchains (scan →harden →rescan)

Show HN: Ball 2 – Use AI to build fun ball games

I ran 2,178 simulations on an autonomous AI economy

Local storage for coding agents resolves amnesia

Ask HN: In the Age of AI, How Do I Grow as a Software Engineer?

Show HN: Remote Coding Agent

Deaths in Ice Custody Texas

Claude Code in the cloud as an API (persistent workspace and scheduled jobs)

Beyond Slop – Why generative AI is stuck on content production, not expression

Show HN: Ghostty-based terminal with vertical tabs and notifications

Show HN: YAML SSH Task Runner

Show HN: StillOnAir – Turn YouTube into programmable, linear TV for free

In contrast with Trump's America, Europe's 100 gigawatt clean energy hub

Sanders and Newsom become adversaries over push to tax California billionaires

Comments

Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4

Legal framework around embryo trait selection is no legal framework

Building a faster YARA engine in pure Go

The Opsec Bible

Kiro Design-First and Bugfix Specs

Gemini Bug: Stress-Induced Overcompensation and Integrity Loss

Silicon Valley is building a shadow power grid for data centers across the US

Clasp – A LinkedIn alternative where Claude does the networking for you

Endianness, WOOT? (2025)

Meta expands Nvidia deal to use AI data center chips

Freedom.gov

The unauthorized tool call problem

Rats demonstrate ability to replay episodic memories in complex settings

Goldratt, Not Stroustrup

Show HN: Embeddable scripting language for Go

Eats Disks (2000)

Linux CVE Assignment Process

Show HN: Mcpsec-A multi-agent SEC gate for MCP toolchains (scan →harden →rescan)

Show HN: Ball 2 – Use AI to build fun ball games

I ran 2,178 simulations on an autonomous AI economy

Local storage for coding agents resolves amnesia

Ask HN: In the Age of AI, How Do I Grow as a Software Engineer?

Show HN: Remote Coding Agent

Deaths in Ice Custody Texas

Claude Code in the cloud as an API (persistent workspace and scheduled jobs)

Beyond Slop – Why generative AI is stuck on content production, not expression

Show HN: Ghostty-based terminal with vertical tabs and notifications

Show HN: YAML SSH Task Runner

Show HN: StillOnAir – Turn YouTube into programmable, linear TV for free

In contrast with Trump's America, Europe's 100 gigawatt clean energy hub