6ardamu
Re:Contiki – OS for networked, memory-constrained systems
on Wednesday February 01, 2023 @08:57AM (#34610450)
Its main competitor these days seems to be RIOT: https://www.riot-os.org/
Re:Steps Towards Happiness (2015)
on Monday November 15, 2021 @06:57AM (#29226373)
There are several mentions that Peter died from metastatic cancer. This is not entirely accurate. He choose to leave this world using euthanasia as his last tweet shows[0].
Euthanasia is legal in Belgium.
[0]: https://twitter.com/hintjens/status/783254242052206592?s=20
Re:Curated Code CAD (2020)
on Tuesday June 29, 2021 @06:07AM (#27673886)
IceSL[0] would also qualify to be on that list.
[0]: https://icesl.loria.fr/
Re:Proving 50-Year-Old Sorting Networks Optimal: Part 1
on Thursday May 06, 2021 @08:18AM (#27062094)
A notion of subsumption was also studied in the context of QBF solving.
https://doi.org/10.1007/978-3-642-24372-1_14