Pinned post

Enarx 0.5.0 Released! 🔥 Many new/improved features: New enarx deploy subcommand. SGX with EDMM / SGX2 support. Dev/testing from MacOS and Raspberry Pi 4B now possible:

Pinned post

Enarx is an open source framework for running WebAssembly applications in TEEs (Trusted Execution Environments).

Enarx is completely written in Rust and includes an SGX shim, an X86_64 unikernel via KVM with SEV-SNP support.

Our contributions to Rust include:

* static-pie support
* x86_64-unknown-none Tier 2 target
* stabilization of naked functions
* network support for wasm32-wasi
* bindeps feature for cargo

Ich beschäftige mich seit einem halben Jahr mit sogenannten "selbstbestimmten digitalen Identitäten" (#SSI). Also einem Verfahren um sich mithilfe einer App auszuweisen.

Das klingt erstmal sehr cool und digital, ist aber leider ziemlich gefährlich. Ich habe mal versucht meine Recherchen zusammenzufassen.

The European dream started 72 years ago, when war in Europe was replaced first with a Community, today with a Union.

We are humbled to see so many people around the world celebrating our Union and values.

Thank you for being with us on #EuropeDay!

wasi-sdk-15 is now released! This includes an update to LLVM 14.0 and the new support for `accept`ing sockets in wasi-libc.

Enarx 0.5.0 Released! 🔥 Many new/improved features: New enarx deploy subcommand. SGX with EDMM / SGX2 support. Dev/testing from MacOS and Raspberry Pi 4B now possible:

I just noticed "foreach" on npm is controlled by a single maintainer.

I also noticed they let their personal email domain expire, so I bought it before someone else did.

I now control "foreach" on NPM, and the 36826 projects that depend on it.

Show thread

What to do with 4MB?
Today: one website… if lucky!
1990: full open world game with music, sounds and quests to fill days of fun!

Das ist für mich eine ziemlich unfassbare Größenordnung:

"Deutschland hat in den letzten 20 Jahren Wasser im Umfang des Bodensees verloren. Das ist unvorstellbar viel #Wasser. Der Rückgang beträgt 2,5 Gigatonnen im Jahr. Damit gehört Deutschland zu den Regionen mit den höchsten #Wasserverlust​en weltweit."
Claudia #Kemfert, DIW Berlin

Quelle: Kemferts Klima Podcast


TIL one can style #rss feeds 🤯

You can even provide an info message for people who don't know what RSS is 💡

Here's mine:

It's based on this script:

Very good talk about #rust in low level software (e.g. firmware) and how it prevents whole classes of problems in this space:

If you need an example on what a good #typesystem can do for safety in such a system, you should really look at it.

This seems very exciting! "Today we’re excited to tell you about the first release of the Kani Rust Verifier (or Kani, for short), an open source automated reasoning tool for proving properties about your Rust code. Like other automated reasoning tools, Kani provides a way to definitively check, using mathematical techniques, whether a property of your code is true under all circumstances. In this way, Kani helps you write better software with fewer bugs." #rust

Wo don’t need nuclear in Germany, dear lobbyists. We need the opposite and are on our way to it. Decentralised grid. Local buffering, down to each house and EV (Vehicle to Grid IS a thing). Nuclear is done here. Deal with it.

One of the most important feature requests we've heard from you is "WHERE THE HECK IS MY #THUNDERBIRD MOBILE APP?"

Here's a straight answer:

YES, we're excited to announce that an Android version of Thunderbird is coming!

We'll have more details to share with you in a few weeks. We'll talk to you about it here, and over on our blog at

Show older
Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!