It took a while, but I'm excited to share redan (https://t.co/NpTLIENfu6), a side project I've been working on the past few weeks. Secure microVM sandbox for AI coding agents. Secrets never enter the VM. Similar space as Gondolin by @mitsuhiko, but a different approach, I think.
I noticed @mitsuhiko's Gondolin a bit late, very similar core ideas. Gondolin does QEMU + TypeScript/Zig, has a programmable VFS. Redan does libkrun + Rust, single binary, Linux-only for now. Interesting ideas; I'm pretty sure there are other projects out there too.
@SimonHoiberg@MelvinZammit At the very least it exposes your personal data to social engineering attacks, so there's a terrible lot people could do with it. In 2020 someone got a former Australian PM's passport number essentially from a boarding pass photo.
https://t.co/hCXS0rhNpI
https://t.co/Fqw7JgIJwp
Python in Zed is finally… fun 😎
• basedpyright by default
• auto-activated venvs + per-project interpreters
• monorepo-ready (multi-venv? yup)
• run/launch configs that don’t fight you
Bonus: ty + Ruff, out of the box (@astral_sh)
🎶 Just launched TuneLoopBot for Telegram. Identify songs from voice messages with album artwork. Create playlists & sync to Spotify with friends.
👉 https://t.co/ml0dlvqgO1
Came up with this while planning my wedding playlist with my wife. ☺️ #Spotify#musicdiscovery#NowPlaying
⭐ Announcing Masked Email with @Bitwarden⭐
We’ve teamed up to create a new Masked Email integration built off of the open standards that power our products.
Read this thread to find out everything you need to know.
@fapolloner @encbladexp Fastmail kann ich mich uneingeschränkt anschließen. Nutze ich seit 2014 und habe es nie bereut. Mittlerweile für die ganze Familie.
@m_holtermann@carltongibson@webology@fwiles That and it's awesome debugging tooling. The inspector (https://t.co/rvyWMiQwao) and even more the trace viewer (https://t.co/t1ZXUK8iUW) are great. The trace viewer works as an online tool now too which helps debugging cicd failures even more. https://t.co/jAHeetI4Pg
@m_holtermann I've got the Sony WH 1000XM3 and they won against a good handful of others for me (Bose QuietComfort, Marshall, Bang & Olufsen)
I'm likely buying the XM5 now that they're out as a replacement.
@encbladexp Naja, es gibt positive Beispiele wo Start-ups von großen Marken gekauft wurden und weiterhin relativ viel Eigenständigkeit besitzen. Lichtblick ist ein sehr positives Beispiel wo es ähnlich viel Kritik gab. Ich kenne jetzt allerdings nicht die ganze Story zu Ankerkraut.
@mhirschfeld0505 @Luisamneubauer Die aktuellste Studie dazu kommt vom UBA, https://t.co/HIQ7O7eCFz, die Quellen von https://t.co/hGkG2TcTik bieten guten Lesestoff und die hinterlegte Publikation auf https://t.co/TOusxc26wN scheint das Thema so evidenzbasiert wie möglich zu beleuchten.
Aus Deutschland heraus helfen, mit einem Webbrowser:
RT Hilf mit, die Internetzensur zu umgehen! Wie das geht und was du tu kannst -> https://t.co/YhcgFJsE2y https://t.co/bNZ2bXvmpi