hackernj

2 tháng trướcdiscuss

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 tháng trướcdiscuss

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

hackernj

5 tháng trướcdiscuss

https://archive.is/jcdiI

hackernj

6 tháng trướcdiscuss

Black Mirror is nearly here.

hackernj

6 tháng trướcdiscuss

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

hackernj

9 tháng trướcdiscuss

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

năm ngoáidiscuss

“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 năm trướcdiscuss

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

Submissions

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

Gladys West's vital contributions to GPS technology

comments