eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

201
active users

#virtualmachine

0 posts0 participants0 posts today

I'm starting a series of blog posts, in which I write a #bytecode #compiler and a #virtualMachine for arithmetic in #Haskell. We explore the following topics in the series:

- Parsing arithmetic expressions to ASTs.
- Compiling ASTs to bytecode.
- Interpreting ASTs.
- Efficiently executing bytecode in a VM.
- Disassembling bytecode and decompiling opcodes for debugging and testing.
- Unit testing and property-based testing for our compiler and VM.
- Benchmarking our code to see how the different passes perform.
- All the while keeping an eye on performance.

The first post of the series that focuses on writing the #parser is now out: abhinavsarkar.net/posts/arithm

abhinavsarkar.net · A Bytecode VM for Arithmetic: The Parser
More from Abhinav 🌏

#RUNBSD! But BoxyBSD now also starts to support #Linux! We're starting soon with the Linux support for already present users, offering free boxes:

* #AlmaLinux
* #Alpine
* #Debian
* #Devuan
* #CentOS
* #Fedora
* #Gentoo
* #OpenSuse
* #OpenEuler
* #RockyLinux

Just next to our core OS like #FreeBSD, #OpenBSD, #NetBSD, #MidnightBSD and #DragonflyBSD (and #illumos). This should also make the step easier to compare and test different scenarios where BSD provides a different behavior compared to Linux systems.

Thanks to @gyptazy for the implementation!

Continued thread

(Linux news in previous posts of thread)

FOSS NEWS

Mastodon (official) mobile apps and mastodon.social, mastodon.online web UI will include easily dismissable donation banner:
news.itsfoss.com/mastodon-in-a
(Some people often get mad if a project asks for donation within its software UI, but I think volunteer devs also deserve to get some payment for their work, it's fair to include a donation notice, if it doesn't annoy users with its placement.)

Brave and AdGuard will block Microsoft Recall:
brave.com/privacy-updates/35-b
alternativeto.net/news/2025/7/

Bluesky introduces age verification (using payment cards, ID scans, or face scans) for accessing adult content and direct messaging, and content controls for UK users:
alternativeto.net/news/2025/7/
(Yeah we're heading into a dystopian future, where you can't use social media without giving up sensitive information... Or can't send messages because a small portion of predators also use that feature... It shouldn't be the responsibility of governments and social media platforms to protect children, it's the parents' task to protect their children. If governments would really care about protecting children, they would rather push campaigns targeted towards parents to raise awareness of the importance of paying attention what their child is doing online. But nah, this "protect children" thing is only pushed for emotional manipulation, so that the governments can cover their arse, while building surveillance infrastructure.)

(more FOSS news in comment)

It's FOSS News · Mastodon Wants Funding and Won't Mind Nudging You for DonationThis small change could help support Mastodon.

💻 New to FreeBSD? Getting started is easier than you think.

As more people explore FreeBSD beyond servers, we're showing just how simple it is to dive in — even on a MacBook. Whether you're installing from scratch or trying out a virtual machine, FreeBSD offers flexible options to fit your setup.

For a full walkthrough, check out the blog post linked below: freebsdfoundation.org/blog/thr

Watch the full video here: youtu.be/CWuZLJkUBfw?si=cY6tvV

From #VMware to #Proxmox VE: Step-by-Step Escape Plan
#ProxmoxVE has become a popular platform because of its #opensource nature. Using the built-in import tool, they go through the steps for migrating a #virtualmachine from a standalone VMware #ESXi server to Proxmox Virtual Environment.
You can shift workloads with minimal downtime and disruption by following the right preparation steps: verifying compatibility, cleaning up VMware Tools, and configuring import settings.
storagereview.com/review/esxi-

StorageReview.comFrom VMware to Proxmox VE: A Step-by-Step Escape PlanLearn how to migrate VMs from VMware ESXi to Proxmox VE using its built-in import tool, with tips for optimizing Windows post-migration.

hey hey #Linux #FileSystem #ZFS #RAID #XFS entities! I'm looking for extremely opinionated discourses on alternatives to ZFS on Linux for slapping together a #JBOD ("Just a Bunch Of Disks", "Just a Buncha Old Disks", "Jesus! Buncha Old Disks!", etc) array.

I like ZFS
but the fact that it's not in tree in-kernel is an issue for me. What I need most is reliability and stability (specifically regarding parity) here; integrity is the need. Read/write don't have to be blazingly fast (not that I'm mad about it).

I also have one
#proxmox ZFS array where a raw disk image is stored for a #Qemu #VirtualMachine; in the VM, it's formatted to XFS. That "seems" fine in limited testing thus far (and seems fast?, so it does seem like the defaults got the striping correct) but I kind of hate how I have multiple levels of abstraction here.

I don't think there's been any change on the
#BTRFS front re: raid-like array stability (I like and use BTRFS for single disk filesystems but) although I would love for that to be different.

I'm open to
#LVM, etc, or whatever might help me stay in tree and up to date. Thank you! Boosts appreciated and welcome.

#techPosting

🎉 ZENROOM 5.0.0 is now available!
github.com/dyne/Zenroom/releas

Here’s what’s new:
🗝️ Nested IF and FOREACH statements for more branching fun!
🗝️ Enhanced speed, especially in branching conditionals.

👀 Switching to v5 is a breaking change, but don’t worry, v4 will still receive bug-fix updates! 🛠️

Zenroom is a tiny, #secure, fully isolated, #openSource, #virtualMachine that runs on any platform, even on a chip or a web page. More about it: zenroom.org/

#VMware Workstation Shifting From Proprietary Code To Using Upstream #KVM
This isn't an off-schedule April Fools' Joke or anything like that but an exciting sign of the times: VMware Workstation will be shifting off its proprietary base and onto leveraging the upstream #Linux Kernel-based #VirtualMachine (KVM) for #virtualization needs moving forward.
phoronix.com/news/VMware-Works

www.phoronix.comVMware Workstation Shifting From Proprietary Code To Using Upstream KVM