niftycent.com
NiftyCent
RO
Logare
Piata de desfacere
Reduceri

The Hat, the Spectre and SAT Solvers (2024)

Article URL: https://www.nhatcher.com/post/on-hats-and-sats/

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

Points: 29

# Comments: 0

https://www.nhatcher.com/post/on-hats-and-sats/

Creată 16h | 13 iun. 2025, 17:40:04


Autentifică-te pentru a adăuga comentarii

Alte posturi din acest grup

The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More
The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More

Article URL: https://www.wsj.com/tech/army-reserve-tech-executives-meta-palantir-796f5360

Comments

14 iun. 2025, 07:30:14 | Hacker news
Peano arithmetic is enough, because Peano arithmetic encodes computation
Peano arithmetic is enough, because Peano arithmetic encodes computation

Article URL: https://math.stackexchange.com/a/5075056/6708

Comments URL:

14 iun. 2025, 07:30:13 | Hacker news
Caltrain official lived in secret apartment built illegally inside train station
Caltrain official lived in secret apartment built illegally inside train station

Article URL: https://sfstandard.com/2025/06/12/caltrain-employee-secret-apartment-burlinga

14 iun. 2025, 07:30:12 | Hacker news
AI agent startups at Y Combinator’s Spring ’25 Demo Day
AI agent startups at Y Combinator’s Spring ’25 Demo Day

Article URL: https://www.businessinsider.com/y-combinator-yc-demo-day-spring-ai-agent-startups-20

14 iun. 2025, 07:30:12 | Hacker news
Rethinking Losses for Diffusion Bridge Samplers
Rethinking Losses for Diffusion Bridge Samplers

Article URL: https://arxiv.org/abs/2506.10982

Comments URL: https://news.ycombinator.c

14 iun. 2025, 05:20:09 | Hacker news
Filedb: Disk Based Key-Value Store Inspired by Bitcask
Filedb: Disk Based Key-Value Store Inspired by Bitcask

Article URL: https://github.com/rajivharlalka/filedb

Comments URL: https://news

14 iun. 2025, 05:20:08 | Hacker news
Anne Wojcicki to buy back 23andMe and its data for $305M
Anne Wojcicki to buy back 23andMe and its data for $305M

Article URL: https://www.cnbc.com/2025/06/13/anne-wojcicki-to-buy-back-23andme-and-its

14 iun. 2025, 05:20:08 | Hacker news
Techie
Techie