niftycent.com
NiftyCent
IT
Login
Mercato
Sconti

DeepSeek-Prover-V2

Article URL: https://github.com/deepseek-ai/DeepSeek-Prover-V2

Comments URL: https://news.ycombinator.com/item?id=43847432

Points: 137

# Comments: 26

https://github.com/deepseek-ai/DeepSeek-Prover-V2

Creato 21h | 30 apr 2025, 18:40:16


Accedi per aggiungere un commento

Altri post in questo gruppo

The Secret Services' involvement in the making of The Line of Fire (1993) [pdf]
The Secret Services' involvement in the making of The Line of Fire (1993) [pdf]

Article URL: https://www.governmentattic.org/58docs/USSSmovieInTheLineOfFireNoDate.pdf

Comments URL:

1 mag 2025, 13:20:12 | Hacker news
A faster way to copy SQLite databases between computers
A faster way to copy SQLite databases between computers

Article URL: https://alexwlchan.net/2025/copying-sqlite-databases/

Comments URL:

1 mag 2025, 13:20:12 | Hacker news
How to vibe code for free: Running Qwen3 on your Mac, using MLX
How to vibe code for free: Running Qwen3 on your Mac, using MLX

Article URL: https://localforge.dev/blog/running-qwen3-macbook-mlx

Comments URL:

1 mag 2025, 13:20:11 | Hacker news
Game preservationists say Switch2 GameKey Cards are disheartening but inevitable
Game preservationists say Switch2 GameKey Cards are disheartening but inevitable

Article URL: https://www.videogameschronicle.com/news/game-pr

1 mag 2025, 13:20:10 | Hacker news
Trust Me, I'm Local: Chrome Extensions, MCP, and the Sandbox Escape
Trust Me, I'm Local: Chrome Extensions, MCP, and the Sandbox Escape

Article URL: https://blog.extensiontotal.com/trust-me-im-local-chrome-extensio

1 mag 2025, 13:20:10 | Hacker news
Judge Rules Apple Executive Lied Under Oath, Makes Criminal Contempt Referral
Judge Rules Apple Executive Lied Under Oath, Makes Criminal Contempt Referral

Article URL: https://www.thebignewsletter.com/p/judge-rules-apple-executive-lied

Comments URL:

1 mag 2025, 13:20:10 | Hacker news
The Brief Origins of May Day
The Brief Origins of May Day

Article URL: https://archive.iww.org/history/library/misc/origins_of_mayday/

Comments URL:

1 mag 2025, 13:20:09 | Hacker news
Techie
Techie