hackernj

2 месяца назадdiscuss

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

hackernj

5 месяцев назадdiscuss

Two OEIS sequences for Cistercian numeral system: https://oeis.org/A341737 and https://oeis.org/A381327

hackernj

5 месяцев назадdiscuss

https://archive.is/jcdiI

hackernj

6 месяцев назадdiscuss

Black Mirror is nearly here.

hackernj

6 месяцев назадdiscuss

https://x.com/WhiteHouse/status/2011127129354744155

hackernj

9 месяцев назадdiscuss

Years ago, I developed a 2D Rubik's Cube game for my son, in order to learn JavaScript: https://www.thelyonsfamily.us/games/FlipYourLid/

As far as I know, my son is the only person who plays it. :-)

hackernj

2 года назадdiscuss

“West with the Night”, a memoir by Beryl Markham; she was the first person to fly across the Atlantic Ocean from east to west in a non-stop solo flight.

hackernj

2 года назадdiscuss

https://www.erininthemorning.com/p/trans-woman-and-computer-...

Submissions

Safe from AI: which jobs will help you thrive in the future?

After Trump's reelection, these U.S. scientists found jobs in the U.K

We almost had a smartphone in the 90s. Why did it fail?

Sanders' AI sovereign wealth fund plan is good. But we think this is better

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

Amazon workers under pressure to up their AI usage are making up tasks

French police probe suspected weather device tampering after odd Polymarket bet

OpenAI faces a criminal probe over ChatGPT's alleged role in a campus shooting

New search engine reveals if ancestors were in Nazi party

Viktor Orbán concedes defeat after 'painful' election result

Wikipedia's AI agent row likely just the beginning of the bot-ocalypse

A woman who alerts the world when an asteroid could hit

Rogue AI agents published passwords and overrode anti-virus software

Living with Hyperphantasia

'Incoherent': Hegseth's Anthropic ultimatum confounds AI policymakers

The Edge of Mathematics

Economics Puzzle Leads to a New Understanding of a Fundamental Law of Physics

I used Claude to negotiate $163,000 off a hospital bill

Point of no return: a hellish 'hothouse Earth' getting closer, scientists say

ICE List: the small European website exposing US immigration agents

comments