fp.

Why formalize mathematics – more than catching errors

https://rkirov.github.io/posts/why_lean/

1•birdculture•4m ago•0 comments

China accuses US of cyberattack on national time center

https://apnews.com/article/china-us-cyberattacks-allegations-time-b3408ed2352c113904350f80e505ab9f

1•c420•4m ago•0 comments

Snail farmer of London, mafia friends, and a £20M vendetta against the taxman

https://www.londoncentric.media/p/terry-ball-the-snail-farmer-his-mafia

1•deadbunny•7m ago•0 comments

Show HN: Proxmox-GitOps: Container Automation Metaframework (Recursive Monorepo)

https://github.com/stevius10/Proxmox-GitOps

2•gitopspm•9m ago•1 comments

I analyzed why 34 products that hit #1 on PH never made $1k MRR

2•meir-avimelec•18m ago•0 comments

Show HN: Minimizing Windows in Bspwm

https://github.com/ArnaudLelievre48/Minimizing-BSPWM

1•ArnaudLelievre•18m ago•0 comments

Radxa Dual 2.5G Router Hat

https://docs.radxa.com/en/accessories/dual-2.5-router-hat

1•teleforce•19m ago•0 comments

Just Some Pictures of London Vents Looking Spectacular

https://londonist.com/london/art-and-photography/adventurous-vents

2•zeristor•21m ago•0 comments

Valgrind-3.26.0.RC1 is available for testing

https://sourceforge.net/p/valgrind/mailman/message/59248224/

1•paulf38•27m ago•0 comments

Chinese tech giants pause stablecoin plans after Beijing steps in

https://www.reuters.com/business/retail-consumer/chinese-tech-giants-pause-stablecoin-plans-after...

3•JumpCrisscross•43m ago•0 comments

Natural Gas Goes Negative in Canada After LNG Plant Issues

https://www.bloomberg.com/news/articles/2025-09-29/canadian-gas-hits-sub-zero-as-lng-plant-hiccup...

4•TMWNN•44m ago•0 comments

JLCPCB Locking Accounts, Mentions "Risky IP Addresses, Activities"

https://hackaday.com/2025/10/19/jlcpcb-locking-accounts-mentions-risky-ip-addresses-activities/

2•jnord•48m ago•1 comments

Space junk falls on Western Australian minesite

https://www.abc.net.au/news/2025-10-19/wa-space-debris-reentry-investigation/105909612

8•dabiged•49m ago•2 comments

Ask HN: SQL using relational theory books?

1•shivajikobardan•49m ago•0 comments

Porting CUDA FFT to Mojo: Achieving Bit-Exact Precision

https://www.msuiche.com/posts/porting-cuda-fft-to-mojo-achieving-bit-exact-precision/

2•melodyogonna•51m ago•0 comments

Show HN: Newcomer Ranking – Alternative to GitHub Trending for New Repos

https://git-stars.org/ranking/newcomers

3•zxcholmes•51m ago•0 comments

Gemini and I Wrote a Book: Introduction to Computational Linguistics

https://dubovik.eu/blog/computational-linguistics

1•h45x1•53m ago•1 comments

The design space of AI coding tools

https://austinhenley.com/blog/aidesignspace.html

1•codeclimber•55m ago•0 comments

Flow Control: a progammer's text editor

https://flow-control.dev/

1•createaccount99•58m ago•0 comments

Explaining, at some length, Techmeme's 20 years of consistency

https://news.techmeme.com/250912/20-years

2•vinhnx•1h ago•0 comments

How CISOs Can Build an Effective 90-Day AI Security Strategy

https://medium.com/@abdelghani.alhijawi/the-cisos-90-day-ai-security-plan-c23372ee1adc

1•aalhijawi•1h ago•0 comments

Show HN: A better Hacker News front end

https://hakkernieuws.vercel.app/top

3•AntonioEritas•1h ago•2 comments

Ask HN: How do I get a job in OS and networks as a new grad?

1•kaladin-jasnah•1h ago•1 comments

Orcas Sink Sailing Yacht with Family of Five Off Portugal

https://maritime-executive.com/article/orcas-sink-sailing-yacht-with-family-of-five-off-portugal

3•TMWNN•1h ago•1 comments

How to Watch the Olympics of the Piano World

https://www.nytimes.com/2025/10/18/arts/music/chopin-piano-competition-final.html

1•mykowebhn•1h ago•0 comments

Astroimmunology: The effects of spaceflight and its stressors on the immunity

https://www.nature.com/articles/s41577-025-01226-6

3•XzetaU8•1h ago•1 comments

I built an AI that replaces spreadsheets

https://wealth-ai.in/

1•asaws•1h ago•1 comments

New benchmarks (i.e. Nvidia canary) in HuggingFace ASR leaderboard

https://huggingface.co/spaces/hf-audio/open_asr_leaderboard

1•pinter69•1h ago•0 comments

Brussels opens the door to reviewing the ban on ICE vehicles from 2035

https://www.coface.com/news-economy-and-insights/brussels-opens-the-door-to-reviewing-the-ban-on-...

2•teleforce•1h ago•0 comments

Show HN: Nova: Open-source solution for CAD file conflicts

https://github.com/agg111/nova

1•aishwaryagune•1h ago•0 comments

Why formalize mathematics – more than catching errors

China accuses US of cyberattack on national time center

Snail farmer of London, mafia friends, and a £20M vendetta against the taxman

Show HN: Proxmox-GitOps: Container Automation Metaframework (Recursive Monorepo)

I analyzed why 34 products that hit #1 on PH never made $1k MRR

Show HN: Minimizing Windows in Bspwm

Radxa Dual 2.5G Router Hat

Just Some Pictures of London Vents Looking Spectacular

Valgrind-3.26.0.RC1 is available for testing

Chinese tech giants pause stablecoin plans after Beijing steps in

Natural Gas Goes Negative in Canada After LNG Plant Issues

JLCPCB Locking Accounts, Mentions "Risky IP Addresses, Activities"

Space junk falls on Western Australian minesite

Ask HN: SQL using relational theory books?

Porting CUDA FFT to Mojo: Achieving Bit-Exact Precision

Show HN: Newcomer Ranking – Alternative to GitHub Trending for New Repos

Gemini and I Wrote a Book: Introduction to Computational Linguistics

The design space of AI coding tools

Flow Control: a progammer's text editor

Explaining, at some length, Techmeme's 20 years of consistency

How CISOs Can Build an Effective 90-Day AI Security Strategy

Show HN: A better Hacker News front end

Ask HN: How do I get a job in OS and networks as a new grad?

Orcas Sink Sailing Yacht with Family of Five Off Portugal

How to Watch the Olympics of the Piano World

Astroimmunology: The effects of spaceflight and its stressors on the immunity

I built an AI that replaces spreadsheets

New benchmarks (i.e. Nvidia canary) in HuggingFace ASR leaderboard

Brussels opens the door to reviewing the ban on ICE vehicles from 2035

Show HN: Nova: Open-source solution for CAD file conflicts

Show HN: Nova: open-source solution for CAD file conflicts

Why formalize mathematics – more than catching errors

China accuses US of cyberattack on national time center

Snail farmer of London, mafia friends, and a £20M vendetta against the taxman

Show HN: Proxmox-GitOps: Container Automation Metaframework (Recursive Monorepo)

I analyzed why 34 products that hit #1 on PH never made $1k MRR

Show HN: Minimizing Windows in Bspwm

Radxa Dual 2.5G Router Hat

Just Some Pictures of London Vents Looking Spectacular

Valgrind-3.26.0.RC1 is available for testing

Chinese tech giants pause stablecoin plans after Beijing steps in

Natural Gas Goes Negative in Canada After LNG Plant Issues

JLCPCB Locking Accounts, Mentions "Risky IP Addresses, Activities"

Space junk falls on Western Australian minesite

Ask HN: SQL using relational theory books?

Porting CUDA FFT to Mojo: Achieving Bit-Exact Precision

Show HN: Newcomer Ranking – Alternative to GitHub Trending for New Repos

Gemini and I Wrote a Book: Introduction to Computational Linguistics

The design space of AI coding tools

Flow Control: a progammer's text editor

Explaining, at some length, Techmeme's 20 years of consistency

How CISOs Can Build an Effective 90-Day AI Security Strategy

Show HN: A better Hacker News front end

Ask HN: How do I get a job in OS and networks as a new grad?

Orcas Sink Sailing Yacht with Family of Five Off Portugal

How to Watch the Olympics of the Piano World

Astroimmunology: The effects of spaceflight and its stressors on the immunity

I built an AI that replaces spreadsheets

New benchmarks (i.e. Nvidia canary) in HuggingFace ASR leaderboard

Brussels opens the door to reviewing the ban on ICE vehicles from 2035

Show HN: Nova: Open-source solution for CAD file conflicts