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•2m 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•6m ago•0 comments

Gifmaker

https://github.com/madprops/gifmaker

1•vistos•6m 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•8m 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•8m ago•0 comments

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

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

1•wiwoworld•9m 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...

5•rbanffy•10m ago•0 comments

Show HN: Building UI Interfaces That AI Can Control

2•akdeepankar•10m 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•10m ago•0 comments

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

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

2•tarique192•10m ago•1 comments

Karl Landsteiner Facts for Kids

https://kids.kiddle.co/Karl_Landsteiner

2•kamaraju•10m 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•11m ago•0 comments

Doctype Magazine

https://vole.wtf/doctype/

2•klez•15m ago•0 comments

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

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

2•gk1•15m 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•16m 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•17m ago•0 comments

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

https://www.fakerfill.com

2•jundymek•17m ago•0 comments

Ultima VII Revisited

https://github.com/ViridianGames/U7Revisited

2•erickhill•18m 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_•18m ago•0 comments

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

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

2•jviotti•19m ago•0 comments

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

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

2•CKMo•19m ago•0 comments

AWS Top Secret Cloud

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

2•belter•25m ago•0 comments

The Software Engineer's Guidebook: A Recap

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

2•andection•29m ago•0 comments

Multiple Security Issues in Rust-sudo-rs

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

12•eyberg•29m ago•0 comments

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

2•privacycurios•32m ago•1 comments

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

3•roscas•32m 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/

7•CrankyBear•33m ago•0 comments

Fish 4.2.0

https://github.com/fish-shell/fish-shell/releases/tag/4.2.0

2•robin_reala•33m ago•0 comments

CACM Practice Welcomes Submissions

https://dl.acm.org/doi/10.1145/3771297

5•underscoreF•33m ago•2 comments

Random

https://andifugard.info/totally-random/

2•speckx•35m ago•0 comments

Open in hackernews

Can Elon Musk Read Your X Chat Messages?

https://david.nepozitek.cz/blog/can-elon-musk-read-your-x-chat-messages/

3•david_nepozitek•2h ago

Comments

david_nepozitek•1h ago

I’ve reversed-engineered the X Android app to find out whether it is as secure as claimed. It's not.

roscas•8m ago

Great exercise to learn but like all Whatsapp or TikTok apps, they are not E2EE. That is known and they don't hide it. People just need to know that.