fp.

UK campaigner targeted by Trump accuses tech giants of 'sociopathic greed'

https://www.theguardian.com/us-news/2025/dec/26/uk-campaigner-targeted-by-trump-accuses-tech-gian...

1•pera•53s ago•0 comments

From Intent to Proof: Dafny Verification for Web Apps

https://midspiral.com/blog/from-intent-to-proof-dafny-verification-for-web-apps/

1•namin•1m ago•0 comments

Bypass Windows user interface privilege isolation via the CTF input method proto

https://projectzero.google/2019/08/down-rabbit-hole.html

1•fanf2•5m ago•0 comments

Find Your Celebrity Twin with AI

https://celeblookalike.org/

1•ivanvolt•8m ago•0 comments

I shrunk down into an M5 chip [video]

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

1•Timothee•9m ago•0 comments

Show HN: Hybrid-Transpiler – A tool to convert C++ to Rust and Go

https://github.com/cmc-labo/hybrid-transpiler

1•hpscript•9m ago•1 comments

Archivara Math Research Agent became 1st AI to solve an Erdős problem on its own

https://twitter.com/spicey_lemonade/status/2004558572496035892

1•amichail•9m ago•0 comments

SourceGit: Open-Source Git UI for Windows/macOS/Linux

https://github.com/sourcegit-scm/sourcegit

1•sea-gold•9m ago•0 comments

The AI bubble is all over now, baby blue

https://garymarcus.substack.com/p/the-ai-bubble-is-all-over-now-baby

2•ArmageddonIt•11m ago•0 comments

Play the Monty Hall Game

https://monty.donk.systems

1•todsacerdoti•12m ago•0 comments

Guide to Machine Learning

https://www.ibm.com/think/machine-learning

2•b-man•12m ago•0 comments

VisualDiffer: Compare Folders and Files on macOS

https://visualdiffer.com

1•sea-gold•12m ago•1 comments

Low-frequency noise can help electric vehicles stand out in busy environments

https://techxplore.com/news/2025-12-employing-frequency-noise-electric-vehicles.html

1•PaulHoule•13m ago•0 comments

DevSecOps Tools Periodic Table

https://digital.ai/learn/devsecops-periodic-table/

1•gudzpoz•17m ago•0 comments

Rock Paper Scissors Strategies

https://wrpsa.com/rock-paper-scissors-strategies/

1•cainxinth•17m ago•0 comments

AI Generated Tests Might Be Lying to You

https://www.youtube.com/watch?v=-iGptIr7FZA

2•nslog•18m ago•1 comments

My coworker's 36 key Corne open-source keyboard setup

https://nuon.co/blog/nuon-keyboard-culture/

1•realsharkymark•18m ago•1 comments

Automatic label checking: The missing step in making reliable medical AI

https://www.omu.ac.jp/en/info/research-news/entry-100013.html

1•geox•19m ago•0 comments

AI Usage Policy – Tao of Mac

https://taoofmac.com/space/site/ai_policy

1•rcarmo•20m ago•0 comments

More Than 80% of New California Properties Are in High Fire-Risk Areas

https://www.theguardian.com/news/datablog/2025/feb/15/california-wildfire-building-risk

2•karakoram•20m ago•0 comments

Predictions for 2026

https://taoofmac.com/space/blog/2025/12/26/1500

1•rcarmo•20m ago•0 comments

My year in tech switches- 2025 edition

1•KitN•21m ago•1 comments

The Ethical Computing Initiative, Xmas Edition

https://aol.codeberg.page/eci/

1•babylon5•22m ago•0 comments

The gut bacteria that put the brakes on weight gain in mice

https://phys.org/news/2025-12-gut-bacteria-weight-gain-mice.html

1•WaitWaitWha•23m ago•0 comments

Show HN: Witr – Explain why a process is running on your Linux system

https://github.com/pranshuparmar/witr

1•pranshuparmar•26m ago•1 comments

Optics Primer, Part 1: Traditional Pluggable Optics

https://www.chipstrat.com/p/optics-primer-part-1-traditional

1•rbanffy•28m ago•0 comments

Show HN: Zero-config staging environments for GitHub repos

https://autodock.io

1•mikesol•30m ago•0 comments

Pew Research - Striking Findings from 2025

https://www.pewresearch.org/short-reads/2025/12/09/striking-findings-from-2025/

2•karakoram•32m ago•0 comments

Show HN: Dropstone – A Recursive Swarm Runtime for Long-Horizon Agent Tasks

https://www.dropstone.io

1•epicprogrammer•32m ago•1 comments

High School Student Discovers 1.5M Potential New Astronomical Objects

https://www.smithsonianmag.com/smart-news/high-school-student-discovers-1-5-million-potential-new...

13•mhb•33m ago•8 comments

UK campaigner targeted by Trump accuses tech giants of 'sociopathic greed'

From Intent to Proof: Dafny Verification for Web Apps

Bypass Windows user interface privilege isolation via the CTF input method proto

Find Your Celebrity Twin with AI

I shrunk down into an M5 chip [video]

Show HN: Hybrid-Transpiler – A tool to convert C++ to Rust and Go

Archivara Math Research Agent became 1st AI to solve an Erdős problem on its own

SourceGit: Open-Source Git UI for Windows/macOS/Linux

The AI bubble is all over now, baby blue

Play the Monty Hall Game

Guide to Machine Learning

VisualDiffer: Compare Folders and Files on macOS

Low-frequency noise can help electric vehicles stand out in busy environments

DevSecOps Tools Periodic Table

Rock Paper Scissors Strategies

AI Generated Tests Might Be Lying to You

My coworker's 36 key Corne open-source keyboard setup

Automatic label checking: The missing step in making reliable medical AI

AI Usage Policy – Tao of Mac

More Than 80% of New California Properties Are in High Fire-Risk Areas

Predictions for 2026

My year in tech switches- 2025 edition

The Ethical Computing Initiative, Xmas Edition

The gut bacteria that put the brakes on weight gain in mice

Show HN: Witr – Explain why a process is running on your Linux system

Optics Primer, Part 1: Traditional Pluggable Optics

Show HN: Zero-config staging environments for GitHub repos

Pew Research - Striking Findings from 2025

Show HN: Dropstone – A Recursive Swarm Runtime for Long-Horizon Agent Tasks

High School Student Discovers 1.5M Potential New Astronomical Objects

Trust Wallet Chrome extension hack tied to millions in losses

UK campaigner targeted by Trump accuses tech giants of 'sociopathic greed'

From Intent to Proof: Dafny Verification for Web Apps

Bypass Windows user interface privilege isolation via the CTF input method proto

Find Your Celebrity Twin with AI

I shrunk down into an M5 chip [video]

Show HN: Hybrid-Transpiler – A tool to convert C++ to Rust and Go

Archivara Math Research Agent became 1st AI to solve an Erdős problem on its own

SourceGit: Open-Source Git UI for Windows/macOS/Linux

The AI bubble is all over now, baby blue

Play the Monty Hall Game

Guide to Machine Learning

VisualDiffer: Compare Folders and Files on macOS

Low-frequency noise can help electric vehicles stand out in busy environments

DevSecOps Tools Periodic Table

Rock Paper Scissors Strategies

AI Generated Tests Might Be Lying to You

My coworker's 36 key Corne open-source keyboard setup

Automatic label checking: The missing step in making reliable medical AI

AI Usage Policy – Tao of Mac

More Than 80% of New California Properties Are in High Fire-Risk Areas

Predictions for 2026

My year in tech switches- 2025 edition

The Ethical Computing Initiative, Xmas Edition

The gut bacteria that put the brakes on weight gain in mice

Show HN: Witr – Explain why a process is running on your Linux system

Optics Primer, Part 1: Traditional Pluggable Optics

Show HN: Zero-config staging environments for GitHub repos

Pew Research - Striking Findings from 2025

Show HN: Dropstone – A Recursive Swarm Runtime for Long-Horizon Agent Tasks

High School Student Discovers 1.5M Potential New Astronomical Objects