niftycent.com
NiftyCent
FR
Connexion
Marketplace
Réductions

Formal Methods: Just Good Engineering Practice?

Article URL: https://brooker.co.za/blog/2024/04/17/formal

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

Points: 4

# Comments: 0

https://brooker.co.za/blog/2024/04/17/formal

Établi 2mo | 10 janv. 2025, 15:40:29


Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

Metabolism Can Shape Cells' Destinies
Metabolism Can Shape Cells' Destinies

Article URL: https://www.quantamagazine.org/how-metabolism-can-shape-cells-destinies-20250321/

<

23 mars 2025, 05:50:06 | Hacker news
(Recommendation Systems and Search) × LLMs
(Recommendation Systems and Search) × LLMs

Article URL: https://eugeneyan.com/writing/recsys-llm/

Comments URL: https://

23 mars 2025, 05:50:06 | Hacker news
Meta pirated at least 101 of my books, and others
Meta pirated at least 101 of my books, and others

Article URL: https://garymarcus.substack.com/p/meta-pirated-at-least-101-of-my-books

Comments URL:

23 mars 2025, 01:20:09 | Hacker news
The Vectrex Computer
The Vectrex Computer

Article URL: https://www.amigalove.com/viewtopic.php?t=2887

Comments URL:

23 mars 2025, 01:20:08 | Hacker news
Domu Technology Inc. (YC S24) Is Hiring a Vibe Coder
Domu Technology Inc. (YC S24) Is Hiring a Vibe Coder

Article URL: https://www.ycombinator.com/companies/domu-technology-inc/jobs/hwWsGdU-vibe-cod

23 mars 2025, 01:20:06 | Hacker news
NixOS and reproducible builds could have detected the xz backdoor
NixOS and reproducible builds could have detected the xz backdoor

Article URL: https://luj.fr/blog/how-nixos-could-have-detected-xz.html

Comments URL:

22 mars 2025, 22:50:15 | Hacker news
Mathematical Methods for Physics [pdf]
Mathematical Methods for Physics [pdf]

Article URL: https://www.ma.imperial.ac.uk/~dturaev/Mathematical_Methods2021.pdf

Comments URL:

22 mars 2025, 22:50:14 | Hacker news
Techie
Techie