frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures

https://cryptobriefing.com/deepmind-alphaproof-nexus-erdos-problems/
2•hackernj•28m ago

Comments

hackernj•28m ago
Link to the "Advancing Mathematics Research with AI-Driven Formal Proof Search" paper that the article references: https://arxiv.org/html/2605.22763v1

The State of Texas vs. Meta Platforms, Inc. and WhatsApp, LLC [pdf]

https://www.texasattorneygeneral.gov/sites/default/files/images/press/WhatsApp%20Petition.pdf
1•plurby•4m ago•0 comments

Texas Woman files lawsuit after arrest for Facebook post about polluted water

https://www.fox4news.com/news/woman-arrested-facebook-post-concerning-trinidad-water-poisoning
4•SilverElfin•6m ago•0 comments

Google Betrayed the Web

https://www.machinesociety.ai/p/google-betrayed-the-web
3•mikelgan•6m ago•1 comments

To Understand AI, Think Like a Dragonfly

https://www.noemamag.com/to-understand-ai-think-like-a-dragonfly/
1•RickJWagner•7m ago•0 comments

The tech industry as a grass fire

https://nathanschneider.info/2026/05/the-tech-industry-as-a-grass-fire/
2•ntnsndr•11m ago•0 comments

Agentic AI token usage balloons cost at Microsoft, Meta, Amazon

https://www.tomshardware.com/tech-industry/artificial-intelligence/ai-cost-crisis-hits-tech-giant...
3•heresie-dabord•11m ago•0 comments

Lambda Soup – Functional HTML Scraping for OCaml

https://aantron.github.io/lambdasoup/
1•Tomte•12m ago•0 comments

Gradient Google icon redesign rolling out on Android and web

https://9to5google.com/2026/05/22/gradient-google-icon-redesign-web/
1•theanonymousone•13m ago•0 comments

Hardening against future module security issues with ModuleJail

https://linuxsecurity.com/features/linux-kernel-module-hardening-modulejail
1•thefreelantern•14m ago•0 comments

A World Without Apps

https://www.bigideainitiative.org/ideas/a-world-without-apps
1•sim04ful•15m ago•0 comments

Meditations in Color

https://meditationsincolor.com/colorists
1•pixelsymphony•16m ago•1 comments

New Attack "Megaladon" Compromises 5.5K+ GitHub Repos

https://www.theregister.com/security/2026/05/22/megalodon-chums-the-waters-in-55k-github-repo-poi...
1•theanonymousone•17m ago•0 comments

Polsia Raises $30M as Its AI Autonomously Runs 7,600 Businesses

https://noqta.tn/en/news/polsia-ai-autonomous-company-30m-funding-2026
1•Topology1•19m ago•0 comments

Kysely (the type-safe SQL query builder for TypeScript) v0.29 is out btw

https://github.com/kysely-org/kysely/releases/tag/v0.29.0
1•igalklebanov•19m ago•1 comments

Lisp in Vim (2019)

https://susam.net/lisp-in-vim.html
2•whent•19m ago•0 comments

Meta Settles School Suit over Social Media, Averting Trial

https://www.bloomberg.com/news/articles/2026-05-21/meta-settles-school-suit-over-social-media-ave...
1•1vuio0pswjnm7•23m ago•0 comments

A simple and free Markdown editor

https://marina-md.pages.dev/
1•alllen•23m ago•0 comments

CloudNativePG and Crunchy PGO: an honest, opinionated comparison

https://www.gabrielebartolini.it/articles/2026/05/cloudnativepg-and-crunchy-pgo-an-honest-opinion...
1•bo0tzz•25m ago•0 comments

I poisoned a Hugging Face dataset and it stayed up for 6 months

https://vechron.com/2026/05/i-poisoned-a-hugging-face-dataset-and-it-stayed-up-for-6-months/
2•GeorgeWoff25•27m ago•2 comments

AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures

https://cryptobriefing.com/deepmind-alphaproof-nexus-erdos-problems/
2•hackernj•28m ago•1 comments

AI companies use malware proxies to mount DDoS attacks on web sites

https://packetstream.io/scraping-at-scale-without-breaking-the-bank-a-guide-for-ai-startups/
2•fanf2•33m ago•0 comments

Ask HN: Do you have a colophon for your personal website?

3•susam•33m ago•2 comments

Tell HN: Google slightly changed its wordmark logo

2•exploraz•35m ago•0 comments

The Primordial Credit Argument for Unconditional Basic Income (UBI)

https://scottsantens.substack.com/p/the-primordial-credit-argument-for
2•2noame•38m ago•0 comments

Kolhaam-Network: an unmoderated encrypted chat network in the BBS tradition

https://github.com/ronen-blumberg/kolhaam-network
1•stigma77•38m ago•0 comments

(An Opinionated) Site Colophon (2023)

https://brett.coulstock.id.au/site-colophon.html
1•Tomte•40m ago•0 comments

Luddite Lab Resource Hub

https://labor.dair-institute.org/
1•jkestner•45m ago•0 comments

I built an MCP server so you can ask Claude about your cloud/software bill

https://getnable.com/
2•chaandannn•46m ago•0 comments

Apple says Epic lawsuit shouldn't reshape App Store rules for all developers

https://techcrunch.com/2026/05/22/apple-says-epic-lawsuit-shouldnt-reshape-app-store-rules-for-al...
4•rebekkamikkoa•47m ago•1 comments

Google Acquires Zagat (2011)

https://googleblog.blogspot.com/2011/09/google-just-got-zagat-rated.html
1•azinman2•47m ago•0 comments