A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. - magmide/magmide
GitHub Gist: instantly share code, notes, and snippets.
We TypeScript developers are a lucky bunch. While some languages (Python, JavaScript) are released annually, every three years (C++) or even less, we get four new versions of TypeScript every year. TypeScript 5.6 was released on September 9th, 2024. Let's take a look.
To all of the users of the OpenWrt One device, I need to start by saying "I'm sorry". My intention was not to break your firmware. 😅 Of course, I'm talking about commit 6c8cc862 where one of the onboard storage drivers was removed. This all comes down to a difference of opinion in the theory about the job of an operating system. In my (humble) opinion, an operating system should include the drivers needed to bootstrap and install said operating system. This is pretty important in the idea of "self hosting" in computer science (not to be confused with the "homelab" idea of self hosting):
Take full control of your data and costs with a self-hosted LLM. Our guide covers hardware, models like LLaMA 2, and deployment. Build your own LLM stack!