niftycent.com
NiftyCent
RU
Логин
Базарная площадь
Скидки

Clean, a formal verification DSL for ZK circuits in Lean4

Article URL: https://blog.zksecurity.xyz/posts/clean/

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

Points: 27

# Comments: 2

https://blog.zksecurity.xyz/posts/clean/

созданный 2mo | 27 мар. 2025 г., 21:10:20


Войдите, чтобы добавить комментарий

Другие сообщения в этой группе

KumoRFM: A Foundation Model for In-Context Learning on Relational Data
KumoRFM: A Foundation Model for In-Context Learning on Relational Data

Article URL: https://kumo.ai/company/news/kumo-relational-foundation-model/

Comments URL:

23 мая 2025 г., 09:20:31 | Hacker news
America is in danger of experiencing an academic brain drain
America is in danger of experiencing an academic brain drain

Article URL: https://www.economist.com/science-and-technology/202

23 мая 2025 г., 09:20:30 | Hacker news
Lockheed Martin and IBM combine quantum computing with HPC in new research
Lockheed Martin and IBM combine quantum computing with HPC in new research

Article URL: https://www.ibm.com/quantum/blog/lockheed-martin-sqd

Comments URL:

23 мая 2025 г., 07:10:07 | Hacker news
John Carmack at Upper Bound 2025 (slides and notes)
John Carmack at Upper Bound 2025 (slides and notes)

Article URL: https://twitter.com/ID_AA_Carmack/status/1925710474366034326

Comments URL:

23 мая 2025 г., 07:10:05 | Hacker news
Management = Bullshit (LLM Edition)
Management = Bullshit (LLM Edition)

Article URL: http://funcall.blogspot.com/2025/05/management-bullshit.html

Comments URL:

23 мая 2025 г., 04:40:09 | Hacker news
Silly job interview questions in Haskell
Silly job interview questions in Haskell

Article URL: https://chrispenner.ca/posts/interview

Comments URL: https://news.y

23 мая 2025 г., 04:40:09 | Hacker news
CRDTs #2: Turtles All the Way Down
CRDTs #2: Turtles All the Way Down

Article URL: https://jhellerstein.github.io/blog/crdt-turtles/

Comments URL:

23 мая 2025 г., 04:40:08 | Hacker news
Techie
Techie