Hacker News: yurughttps://news.ycombinator.com/user?id=yurugHacker News RSShttps://hnrss.org/hnrss v2.1.1Fri, 08 May 2026 13:47:35 +0000<![CDATA[New comment by yurug in "Maybe you shouldn't install new software for a bit"]]>At some point, some people will rebuild an entire stack (all layers, from OS to applications) with proof carrying code upgrades. Proof-code co-design and co-construction is the only way to execute code that you can trust.

]]>Fri, 08 May 2026 08:06:33 +0000https://news.ycombinator.com/item?id=48060126yurughttps://news.ycombinator.com/item?id=48060126https://news.ycombinator.com/item?id=48060126<![CDATA[The OCaml MOOC is back for a 4th edition]]>Article URL: https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session04/about

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

Points: 2

# Comments: 0

]]>Thu, 19 Sep 2019 19:48:03 +0000https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session04/aboutyurughttps://news.ycombinator.com/item?id=21019945https://news.ycombinator.com/item?id=21019945<![CDATA[Register now to the third edition of the OCaml MOOC]]>Article URL: https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session03/about

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

Points: 3

# Comments: 0

]]>Wed, 20 Jun 2018 10:10:12 +0000https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session03/aboutyurughttps://news.ycombinator.com/item?id=17353945https://news.ycombinator.com/item?id=17353945