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

Combining Agile and Formal Methods

https://iohk.io/en/research/library/papers/flexible-formalitypractical-experience-with-agile-formal-methods/

созданный 5y | 10 июл. 2020 г., 10:42:03


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

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

The Dino, the Llama, and the Whale (Deno and Jupyter for Local AI Experiments)
The Dino, the Llama, and the Whale (Deno and Jupyter for Local AI Experiments)

Article URL: https://deno.com/blog/the-dino-llama-and-whale

Comments URL:

1 мар. 2025 г., 05:10:04 | Hacker news
Self-Hosting a Firefox Sync Server
Self-Hosting a Firefox Sync Server

Article URL: https://blog.diego.dev/posts/firefox-sync-server/

Comments URL:

1 мар. 2025 г., 05:10:03 | Hacker news
Magic Isn't Real
Magic Isn't Real

Article URL: https://pthorpe92.dev/magic/

Comments URL: https://news.ycombinator.com/item?

1 мар. 2025 г., 05:10:03 | Hacker news
When eBPF pt_regs reads return garbage on the latest Linux kernels, blame Fred
When eBPF pt_regs reads return garbage on the latest Linux kernels, blame Fred

Article URL: https://tanelpoder.com/posts/ebpf-pt-regs-error-on-linux-blame-fred/

Comments URL:

1 мар. 2025 г., 05:10:02 | Hacker news
An Update on Mozilla's Terms of Use for Firefox
An Update on Mozilla's Terms of Use for Firefox

Article URL: https://blog.mozilla.org/en/products/firefox/update-on-terms-of-use/

Comments URL:

1 мар. 2025 г., 02:40:05 | Hacker news
The Housing Theory of Everything
The Housing Theory of Everything

Article URL: https://worksinprogress.co/issue/the-housing-theory-of-everything/

Comments URL:

1 мар. 2025 г., 02:40:05 | Hacker news
Hot take: GPT 4.5 is a nothing burger
Hot take: GPT 4.5 is a nothing burger

Article URL: https://garymarcus.substack.com/p/hot-take-gpt-45-is-a-nothing-burger

Comments URL:

1 мар. 2025 г., 00:20:12 | Hacker news
Mmm7777
Mmm7777