niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

Combining Agile and Formal Methods

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

Created 5y | Jul 10, 2020, 10:42:03 AM


Login to add comment

Other posts in this group

Matrix-vector multiplication implemented in off-the-shelf DRAM for Low-Bit LLMs
Matrix-vector multiplication implemented in off-the-shelf DRAM for Low-Bit LLMs

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

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

May 5, 2025, 3:10:07 AM | Hacker news
An appeal to companies doing AI
An appeal to companies doing AI

Article URL: https://soatok.blog/2025/05/04/tech-companies-apparently-do-not-understand-why-

May 5, 2025, 12:40:12 AM | Hacker news
On Not Carrying a Camera – Cultivating memories instead of snapshots
On Not Carrying a Camera – Cultivating memories instead of snapshots

Article URL: https://hedgehogreview.com/issues/after-neoliberalism/articles/on-not-carrying-a-came

May 5, 2025, 12:40:10 AM | Hacker news
People are losing loved ones to AI-fueled spiritual fantasies
People are losing loved ones to AI-fueled spiritual fantasies

Article URL: https://www.rollingstone.com/culture/culture-features

May 5, 2025, 12:40:09 AM | Hacker news
Typed Lisp, a Primer
Typed Lisp, a Primer

Article URL: https://alhassy.com/TypedLisp.html

Comments URL: https://news.ycombinat

May 4, 2025, 10:30:13 PM | Hacker news
Show HN: Driverless print server for legacy printers, profit goes to open-source
Show HN: Driverless print server for legacy printers, profit goes to open-source

This is a device, to which you connect your older USB printer, and use it from any PC or smartphone without installing drivers (AirPrint/Mopria), wirelessly. As easy as that!

  * Supp
May 4, 2025, 10:30:12 PM | Hacker news
The New Control Society
The New Control Society

Article URL: https://www.thenewatlantis.com/publications/the-new-control-society

Comments URL:

May 4, 2025, 10:30:10 PM | Hacker news
Mmm7777
Mmm7777