niftycent.com
NiftyCent
HU
Belépés
Piactér
Kedvezmények

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/

Létrehozva 4d | 2025. jún. 13. 17:40:04


Jelentkezéshez jelentkezzen be

EGYÉB POSTS Ebben a csoportban

Brad Lander detained by masked federal agents inside immigration court
Brad Lander detained by masked federal agents inside immigration court

Article URL: https://www.thecity.nyc/2025/06/17/brad-lander-arrest-ice-immigration-court/

Comments

2025. jún. 17. 23:40:14 | Hacker news
Building Effective AI Agents
Building Effective AI Agents

Article URL: https://www.anthropic.com/engineering/building-effective-agents

Comments URL:

2025. jún. 17. 23:40:13 | Hacker news
From SDR to 'Fake HDR': Mario Kart World on Switch 2
From SDR to 'Fake HDR': Mario Kart World on Switch 2

Article URL: https://www.alexandermejia.com/from-sdr-to-fake-hdr-mar

2025. jún. 17. 23:40:09 | Hacker news
Iran asks its people to delete WhatsApp from their devices
Iran asks its people to delete WhatsApp from their devices

Article URL: https://apnews.com/article/iran-whatsapp-meta-israel-d9e6fe43280123c9963802e6f10ac8d1

2025. jún. 17. 23:40:08 | Hacker news
LLMs pose an interesting problem for DSL designers
LLMs pose an interesting problem for DSL designers

Article URL: https://kirancodes.me/posts/log-lang-design-llms.html

Comments URL:

2025. jún. 17. 23:40:07 | Hacker news
What Google Translate Can Tell Us About Vibecoding
What Google Translate Can Tell Us About Vibecoding

Article URL: https://ingrids.space/posts/what-google-translate-can-tell-us-about-vibecoding/

Co

2025. jún. 17. 23:40:07 | Hacker news
Bzip2 crate switches from C to 100% Rust
Bzip2 crate switches from C to 100% Rust

Article URL: https://trifectatech.org/blog/bzip2-crate-switches-from-c-to-rust/

Comments URL:

2025. jún. 17. 23:40:06 | Hacker news
Techie
Techie