fp.

Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match

https://ntaylor.ca/posts/proving-the-coding-interview-lean/

1•todsacerdoti•3m ago•0 comments

Show HN: Azazel – Lightweight eBPF-based malware analysis sandbox using Docker

https://github.com/beelzebub-labs/azazel

2•mariocandela•7m ago•0 comments

We urgently need a federal law forbidding AI from impersonating humans

https://garymarcus.substack.com/p/we-urgently-need-a-federal-law-forbidding

2•headalgorithm•8m ago•0 comments

Show HN: File Brain – Local file search with OCR and semantic search

https://github.com/Hamza5/file-brain

1•Hamza5•10m ago•0 comments

Show HN: CLI Rust tool gitorg helps manage GitHub orgs

https://crates.io/crates/gitorg

1•DavidCanHelp•17m ago•0 comments

Gitdatamodel Documentation

https://git-scm.com/docs/gitdatamodel

1•todsacerdoti•18m ago•0 comments

Men lose their Y chromosome as they age – how it may matter

https://theconversation.com/men-lose-their-y-chromosome-as-they-age-scientists-thought-it-didnt-m...

5•bikenaga•20m ago•2 comments

Biases in the Blind Spot: Detecting What LLMs Fail to Mention

https://arxiv.org/abs/2602.10117

1•mpweiher•21m ago•0 comments

Free SERP Content Analyzer

https://kitful.ai/write-tools/serp-content-analyzer

1•eashish93•22m ago•1 comments

Why I'm Not Worried About My AI Dependency

https://boagworld.com/emails/ai-dependency/

1•cdrnsf•24m ago•0 comments

AI Agent Lands PRs in Major OSS Projects, Targets Maintainers via Cold Outreach

https://socket.dev/blog/ai-agent-lands-prs-in-major-oss-projects-targets-maintainers-via-cold-out...

1•cdrnsf•26m ago•0 comments

Internet Increasingly Becoming Unarchivable

https://www.niemanlab.org/2026/01/news-publishers-limit-internet-archive-access-due-to-ai-scrapin...

41•ninjagoo•27m ago•16 comments

Intent to Experiment: Ship Rust XML Parser to 1% stable for non XSLT scenarios

https://groups.google.com/a/chromium.org/g/blink-dev/c/D7BE4QPw0S4

1•justin-reeves•30m ago•0 comments

Google Search Isn't a Common Carrier–Richards vs. Google

https://blog.ericgoldman.org/archives/2026/02/google-search-isnt-a-common-carrier-richards-v-goog...

2•hn_acker•31m ago•0 comments

Rendering attractors at 200 megapixels on A100s

https://axisophy.com/collections/mersenne

2•scylx•32m ago•1 comments

First Ariane 6 with four boosters lifts off

https://www.esa.int/Enabling_Support/Space_Transportation/Ariane/More_power_first_Ariane_6_with_f...

3•belter•33m ago•0 comments

What If AI Isn't the Goal? – Living in a Post-AI Society

https://zias.be/blog/living-in-a-post-ai-society

1•ziasvannes•36m ago•2 comments

Putting economic theory to the test: Cutting local taxes cuts household income

https://phys.org/news/2026-02-economic-theory-local-taxes-household.html

2•bikenaga•36m ago•1 comments

How AI slop is causing a crisis in computer science

https://www.nature.com/articles/d41586-025-03967-9

4•gnabgib•41m ago•0 comments

Show HN: AuraSpend " Voice-first expense tracker using Gemini for NLU

https://play.google.com/store/apps/details?id=com.intrepid.auraspend&hl=en_US

1•subhanzg•44m ago•0 comments

Every App Needs Auth / Ory Helps / This Template Fixes It

https://github.com/Samuelk0nrad/docker-ory

1•samuel_kx0•44m ago•0 comments

Show HN: DryCast – Never run outside to save your laundry from rain again

https://drycast.app/

1•AwkwardPanda•44m ago•0 comments

Manage, freeze and restore GPU processes quickly

https://github.com/shayonj/gpusched

2•shayonj•45m ago•0 comments

Show HN: Tilth v0.3 – 17% cheaper AI code navigation (279 runs, 3 Claude models)

1•jahala•46m ago•0 comments

Tech leaders pour $50M into super PAC to elect AI-friendly candidates

https://www.latimes.com/business/story/2026-02-13/tech-titans-pour-50-million-into-super-pac-to-e...

3•geox•48m ago•0 comments

How Head Works in Git

https://jvns.ca/blog/2024/03/08/how-head-works-in-git/

3•b-man•48m ago•0 comments

I Visited the Future of AI Engineering – and Returned with a Warning

https://igor718185.substack.com/p/i-visited-the-future-of-ai-engineering

2•iggori•50m ago•3 comments

Dr. Oz pushes AI avatars as a fix for rural health care

https://www.npr.org/2026/02/14/nx-s1-5704189/dr-oz-ai-avatars-replace-rural-health-workers

Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match

Show HN: Azazel – Lightweight eBPF-based malware analysis sandbox using Docker

We urgently need a federal law forbidding AI from impersonating humans

Show HN: File Brain – Local file search with OCR and semantic search

Show HN: CLI Rust tool gitorg helps manage GitHub orgs

Gitdatamodel Documentation

Men lose their Y chromosome as they age – how it may matter

Biases in the Blind Spot: Detecting What LLMs Fail to Mention

Free SERP Content Analyzer

Why I'm Not Worried About My AI Dependency

AI Agent Lands PRs in Major OSS Projects, Targets Maintainers via Cold Outreach

Internet Increasingly Becoming Unarchivable

Intent to Experiment: Ship Rust XML Parser to 1% stable for non XSLT scenarios

Google Search Isn't a Common Carrier–Richards vs. Google

Rendering attractors at 200 megapixels on A100s

First Ariane 6 with four boosters lifts off

What If AI Isn't the Goal? – Living in a Post-AI Society

Putting economic theory to the test: Cutting local taxes cuts household income

How AI slop is causing a crisis in computer science

Show HN: AuraSpend " Voice-first expense tracker using Gemini for NLU

Every App Needs Auth / Ory Helps / This Template Fixes It

Show HN: DryCast – Never run outside to save your laundry from rain again

Manage, freeze and restore GPU processes quickly

Show HN: Tilth v0.3 – 17% cheaper AI code navigation (279 runs, 3 Claude models)

Tech leaders pour $50M into super PAC to elect AI-friendly candidates

How Head Works in Git

I Visited the Future of AI Engineering – and Returned with a Warning

Dr. Oz pushes AI avatars as a fix for rural health care

TikTok

Bloom-Filter Art: Encode words in a heart; Send it to someone special

PascalABC.net

Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match

Show HN: Azazel – Lightweight eBPF-based malware analysis sandbox using Docker

We urgently need a federal law forbidding AI from impersonating humans

Show HN: File Brain – Local file search with OCR and semantic search

Show HN: CLI Rust tool gitorg helps manage GitHub orgs

Gitdatamodel Documentation

Men lose their Y chromosome as they age – how it may matter

Biases in the Blind Spot: Detecting What LLMs Fail to Mention

Free SERP Content Analyzer

Why I'm Not Worried About My AI Dependency

AI Agent Lands PRs in Major OSS Projects, Targets Maintainers via Cold Outreach

Internet Increasingly Becoming Unarchivable

Intent to Experiment: Ship Rust XML Parser to 1% stable for non XSLT scenarios

Google Search Isn't a Common Carrier–Richards vs. Google

Rendering attractors at 200 megapixels on A100s

First Ariane 6 with four boosters lifts off

What If AI Isn't the Goal? – Living in a Post-AI Society

Putting economic theory to the test: Cutting local taxes cuts household income

How AI slop is causing a crisis in computer science

Show HN: AuraSpend " Voice-first expense tracker using Gemini for NLU

Every App Needs Auth / Ory Helps / This Template Fixes It

Show HN: DryCast – Never run outside to save your laundry from rain again

Manage, freeze and restore GPU processes quickly

Show HN: Tilth v0.3 – 17% cheaper AI code navigation (279 runs, 3 Claude models)

Tech leaders pour $50M into super PAC to elect AI-friendly candidates

How Head Works in Git

I Visited the Future of AI Engineering – and Returned with a Warning

Dr. Oz pushes AI avatars as a fix for rural health care

TikTok

Bloom-Filter Art: Encode words in a heart; Send it to someone special