/explore
|
You are here 
|
www.daemonology.net | ||
| | | | |
www.unixsheikh.com
|
|
| | | | | [AI summary] The provided text is a detailed overview of FreeBSD's features and advantages compared to other operating systems like Linux and Windows. It highlights key aspects such as ZFS support, security, performance, and the availability of various tools and frameworks. The author shares their personal experience with different operating systems and recommends FreeBSD for its UNIX-like nature and suitability for specific tasks such as ZFS usage. | |
| | | | |
model-checking.github.io
|
|
| | | | | In this post we'll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source virtualization project for serverless applications. We will use Kani to get a strong guarantee that Firecracker's block device is correct with respect to a simple virtio property when parsing guest requests, which may be invalid or malicious. In this way, we show how Kani can complement Firecracker's defense in depth investments, such as fuzzing. | |
| | | | |
mdhughes.tech
|
|
| | | | | So a few weeks back, prompted by the hosting provider for MysticDungeonClub no longer supporting FreeBSD so I need to move rather post-haste, I bought a new domain, with the ~worst~ BEST name I've ... | |
| | | | |
ounapuu.ee
|
|
| | | I like Fedora Linux. It's the Linux distro that stopped my habit of distro-hopping. Big deal? Ooh, big deal! It's stable in day-to-day use, ships with up-to-date software, and the software selection is adequate out of the box. It also ships with a fresh Linux kernel version1, resulting in a good experience even on modern hardware. I've been happily using it for about 4 years at this point, both on personal and work computers. | ||
