Matias Vara Larsen 🧉

Software Developer at @RedHat. Author of @Torokernel with pride.

[Matias Vara Larsen 🧉 @ELTu7e]

@Ollie_Vargas_ Argentina will take years to back on track yet it is the right direction. Ideas are more important than the person himself.

[Matias Vara Larsen 🧉 @ELTu7e]

@josevico4 El problema nunca fue la inmigracion, sino la inmigacion ilegal, que por eso ilegal.

[Matias Vara Larsen 🧉 @ELTu7e]

@JesusFerna7026 @princeofleisure @deandres_jm You should not incentives illegal immigration because it is also dangerous for those that try it. You can just open borders in that case.

[Matias Vara Larsen 🧉 @ELTu7e]

@JesusFerna7026 @princeofleisure @deandres_jm I think here we are missing here that we are talking about illegal immigration. Legal immigration has different paths and background.

[Matias Vara Larsen 🧉 @ELTu7e]

@cafuccio @MIKL_Bertrand C’est la paranoïa des inégalités!

[ToroKernel @ToroKernel]

Toro now has a better O (1) scheduler together with a improved ring queue for network packets that replaces the linked-list structures.

PR merged at https://t.co/gqtW9oL9aD

[Matias Vara Larsen 🧉 @ELTu7e]

I just wrote somre documentation about how networking works in @ToroKernel . Give a look at https://t.co/kfKVN4fKIt

[Matias Vara Larsen 🧉 @ELTu7e]

@martin_casado I would say that if you read at the age of fifteen, it would be the best book you could read on that topic. It is very well explained if you know nothing about OS design.

[Human Coders @humancoders]

Pause café... Pause Talk ! ☕️

@ELTu7e te guide dans la découverte des serveurs MCP et montre comment interagir avec ses outils pour automatiser les tâches répétitives. Découvre comment optimiser la gestion des ressources et réduire les erreurs manuelles !
https://t.co/NQMO0KLvUW

[Sergio López @slpnix]

And we have many cool things already lined up for 2025:

- Tyler Fanelli is working on updated SNP support.

- @ELTu7e is adding ARM CCA, for running Confidential Workloads on the upcoming Armv9 SoCs.

- Jake Correnti has taken the Intel TDX PoC and it's working on getting it upstreamed.

We'll be also enabling new microVM use cases on other Industries. I'm looking forward to presenting this at some conference next year!

[Matias Vara Larsen 🧉 @ELTu7e]

They just released my presentation in @linuxplumbers about formal verification in virtio devices and drivers at https://t.co/xvZeuWLQzf

[Matias Vara Larsen 🧉 @ELTu7e]

Last days I have been interested on runtime verification of user programs. This leads me to write a very simple debugger in Rust using ptrace. You can find its code at https://t.co/ggb3PSOVSS

[Matias Vara Larsen 🧉 @ELTu7e]

¿Porqué los títulos son acertijos? 🤔

[Matias Vara Larsen 🧉 @ELTu7e]

Why should Spotify users support the National Center for Music? Donations are optional, so shouldn't this be as well?

[Matias Vara Larsen 🧉 @ELTu7e]

https://t.co/Q2TJoM5Gml

[Matias Vara Larsen 🧉 @ELTu7e]

@Altimor Maybe the 5% you mentioned are the people who were sent to concentration camps in "Brave new world"

[Matias Vara Larsen 🧉 @ELTu7e]

@MsMelChen Those comments about true made me think about the society in "Brave New World" where true or beauty were no longer important concept or goals.

[ToroKernel @ToroKernel]

We are porting Toro to the latest Freepascal release. Soon you will be able to select Toro as a targett and the compiler will simply compile your app within Toro unikernel ready to be launched as VM, stay tuned!

[Matias Vara Larsen 🧉 @ELTu7e]

For those interesting in deploying a DDS (ROS 2) between VMs, I wrote a short article about it, you can find it at https://t.co/vNDTlPq3cN

[Matias Vara Larsen 🧉 @ELTu7e]

@therabbithole What would be the intention or aim of this bias? 🤔