fp.

To Have Machines Make Math Proofs, Turn Them into a Puzzle

https://www.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/

1•oldgradstudent•52s ago•0 comments

Visa and Mastercard might have a deal to lower merchant fees

https://www.cnn.com/2025/11/10/business/visa-mastercard-deal-merchant-fees

1•raw_anon_1111•5m ago•0 comments

Gifmaker

https://github.com/madprops/gifmaker

1•vistos•5m ago•0 comments

G4 (Severe) Watch in Effect for 12 November

https://www.swpc.noaa.gov/news/g4-severe-watch-effect-12-november

2•hnburnsy•6m ago•0 comments

Abe shooting suspect Yamagami pleads guilty to murder

https://www.japantimes.co.jp/news/2025/10/28/japan/crime-legal/yamagami-first-trial-hearing/

1•PaulHoule•6m ago•0 comments

Show HN: MCP-framework – Build MCP servers and AI agents in Rust

https://github.com/koki7o/mcp-framework

1•wiwoworld•7m ago•0 comments

The Head of the Cybertruck Program Quit Tesla. Model Y Leader Left Hours Later

https://gizmodo.com/the-head-of-the-cybertruck-program-quit-tesla-the-model-y-leader-left-hours-l...

4•rbanffy•8m ago•0 comments

Show HN: Building UI Interfaces That AI Can Control

2•akdeepankar•8m ago•0 comments

Building Our Gen AI Sales Knowledge Assistant on Snowflake

https://medium.com/snowflake/from-chaos-to-clarity-building-our-gen-ai-sales-knowledge-assistant-...

2•gk1•8m ago•0 comments

Cogensec Joins Nvidia Inception Program to Accelerate Next-Gen AI Security

https://cogensec.com/news/nvidia-inception-2025

2•tarique192•9m ago•1 comments

Karl Landsteiner Facts for Kids

https://kids.kiddle.co/Karl_Landsteiner

2•kamaraju•9m ago•0 comments

I didn't reverse-engineer the protocol for my blood pressure monitor in 24 hours

https://james.belchamber.com/articles/blood-pressure-monitor-reverse-engineering/

3•jamesbelchamber•10m ago•0 comments

Doctype Magazine

https://vole.wtf/doctype/

2•klez•14m ago•0 comments

AlignEval: Building an App to Make Evals Easy, Fun, and Automated

https://eugeneyan.com/writing/aligneval/

2•gk1•14m ago•0 comments

Wikipedia, under fire from conservatives and shaken by AI

https://www.lemonde.fr/en/pixels/article/2025/11/11/wikipedia-under-fire-from-conservatives-and-s...

4•geox•15m ago•0 comments

9 Years Ago, I Started a Marketing Consultancy Called Reify

https://www.reifyworks.com/writing/2016-12-12-introducing-reify

2•mrbbk•15m ago•0 comments

Show HN: FakerFill – a browser extension that fills web forms with fake data

https://www.fakerfill.com

2•jundymek•16m ago•0 comments

Ultima VII Revisited

https://github.com/ViridianGames/U7Revisited

2•erickhill•17m ago•0 comments

X5.1 solar flare, G4 geomagnetic storm watch

https://www.spaceweatherlive.com/en/news/view/593/20251111-x5-1-solar-flare-g4-geomagnetic-storm-...

3•sva_•17m ago•0 comments

Show HN: A commercial standard library for JSON Schema / OpenAPI projects

https://www.sourcemeta.com/products/std/

2•jviotti•17m ago•0 comments

Gelato-30B-A3B: A Grounding Model for GUI Computer-Use Tasks

https://huggingface.co/mlfoundations/Gelato-30B-A3B

2•CKMo•18m ago•0 comments

AWS Top Secret Cloud

https://aws.amazon.com/federal/top-secret-cloud/

2•belter•23m ago•0 comments

The Software Engineer's Guidebook: A Recap

https://newsletter.pragmaticengineer.com/p/the-software-engineers-guidebook

2•andection•27m ago•0 comments

Multiple Security Issues in Rust-sudo-rs

https://bugs.launchpad.net/ubuntu/+source/rust-sudo-rs/+bug/2130623

12•eyberg•28m ago•0 comments

Ask HN: Building Privacy-Compliant LLM Apps (e.g. Section 203 StGB)

2•privacycurios•30m ago•1 comments

GitLab – do you host one? Or use the cloud?

3•roscas•31m ago•0 comments

Debian Mandates Rust for Apt, Reshaping Ubuntu and Other Linux Distros

https://thenewstack.io/debian-mandates-rust-for-apt-reshaping-ubuntu-and-other-linux-distros/

To Have Machines Make Math Proofs, Turn Them into a Puzzle

Visa and Mastercard might have a deal to lower merchant fees

Gifmaker

G4 (Severe) Watch in Effect for 12 November

Abe shooting suspect Yamagami pleads guilty to murder

Show HN: MCP-framework – Build MCP servers and AI agents in Rust

The Head of the Cybertruck Program Quit Tesla. Model Y Leader Left Hours Later

Show HN: Building UI Interfaces That AI Can Control

Building Our Gen AI Sales Knowledge Assistant on Snowflake

Cogensec Joins Nvidia Inception Program to Accelerate Next-Gen AI Security

Karl Landsteiner Facts for Kids

I didn't reverse-engineer the protocol for my blood pressure monitor in 24 hours

Doctype Magazine

AlignEval: Building an App to Make Evals Easy, Fun, and Automated

Wikipedia, under fire from conservatives and shaken by AI

9 Years Ago, I Started a Marketing Consultancy Called Reify

Show HN: FakerFill – a browser extension that fills web forms with fake data

Ultima VII Revisited

X5.1 solar flare, G4 geomagnetic storm watch

Show HN: A commercial standard library for JSON Schema / OpenAPI projects

Gelato-30B-A3B: A Grounding Model for GUI Computer-Use Tasks

AWS Top Secret Cloud

The Software Engineer's Guidebook: A Recap

Multiple Security Issues in Rust-sudo-rs

Ask HN: Building Privacy-Compliant LLM Apps (e.g. Section 203 StGB)

GitLab – do you host one? Or use the cloud?

Debian Mandates Rust for Apt, Reshaping Ubuntu and Other Linux Distros

Fish 4.2.0

CACM Practice Welcomes Submissions

Random

Rust 1.91.1

To Have Machines Make Math Proofs, Turn Them into a Puzzle

Visa and Mastercard might have a deal to lower merchant fees

Gifmaker

G4 (Severe) Watch in Effect for 12 November

Abe shooting suspect Yamagami pleads guilty to murder

Show HN: MCP-framework – Build MCP servers and AI agents in Rust

The Head of the Cybertruck Program Quit Tesla. Model Y Leader Left Hours Later

Show HN: Building UI Interfaces That AI Can Control

Building Our Gen AI Sales Knowledge Assistant on Snowflake

Cogensec Joins Nvidia Inception Program to Accelerate Next-Gen AI Security

Karl Landsteiner Facts for Kids

I didn't reverse-engineer the protocol for my blood pressure monitor in 24 hours

Doctype Magazine

AlignEval: Building an App to Make Evals Easy, Fun, and Automated

Wikipedia, under fire from conservatives and shaken by AI

9 Years Ago, I Started a Marketing Consultancy Called Reify

Show HN: FakerFill – a browser extension that fills web forms with fake data

Ultima VII Revisited

X5.1 solar flare, G4 geomagnetic storm watch

Show HN: A commercial standard library for JSON Schema / OpenAPI projects

Gelato-30B-A3B: A Grounding Model for GUI Computer-Use Tasks

AWS Top Secret Cloud

The Software Engineer's Guidebook: A Recap

Multiple Security Issues in Rust-sudo-rs

Ask HN: Building Privacy-Compliant LLM Apps (e.g. Section 203 StGB)

GitLab – do you host one? Or use the cloud?

Debian Mandates Rust for Apt, Reshaping Ubuntu and Other Linux Distros

Fish 4.2.0

CACM Practice Welcomes Submissions

Random