Edoardo Vacchi
8.9K posts

Edoardo Vacchi
@evacchi
Programming Language Nerd, PhD in CS — Principal ML Engineer @RedHat — prev: (Chicory, wazero) @Dylibso @Tetrateio @RedHat — @PapersWeLoveMI organizer
Italy, Milan Katılım Haziran 2010
907 Takip Edilen1.4K Takipçiler
Edoardo Vacchi retweetledi
Edoardo Vacchi retweetledi
Edoardo Vacchi retweetledi

@abdimoalim_ ironically a lot of "prompt engineering" advice amounts to "express your intent in clear English"
English

At Edgelord.AI we just released a SOTA model that gives so little of a fuck about your instructions that it will actively fight against them, erase your data, and occasionally murder your friends. Here's our prompting guide to make the most of it:
English
Edoardo Vacchi retweetledi
Edoardo Vacchi retweetledi
Edoardo Vacchi retweetledi

Announcing Wanix 0.4-preview and introducing Wanix Elements! Now you can build virtual compute systems with just HTML. Some broad use cases:
- run AI in the strongest client-side sandbox
- let people try your CLI before downloading
- build your own browser OS or dev env
- make old apps/games work on the web
- explore and play with plan 9 concepts
Link below.

English
Edoardo Vacchi retweetledi

So I'm writing a coding agent based on WANIX from from @progrium I have to say this is the first time I've been happy the JavaScript echo system has been rewritten in rust. I think I can get a pretty awesome TypeScript coding agent to run fully in the browser, yet still in a fairly native way. Pretty cool, fully develop a web page with an agent, get live preview, and then you theoretically could publish to the web (it's just a collection of files in opfs)
English
Edoardo Vacchi retweetledi

full and serious support here. If I had more time, I would love to be more directly involved. Some really amazing things can come out of this project, and it is just the beginning.
Jeff Lindsay@progrium
i hope once people realize the depth of wanix it will give a reference for the value and scope of what i'm really trying to do and motivate people to help. which would be great because i dont actually want to waste my life making something real that i already know *can* be real
English
Edoardo Vacchi retweetledi

When 2 (or more) filesystems care for each other deeply they can come together and create a new namespace. those filesystems can be from any background (9p exports from other systems, virtual fs, backing to APIs, ...)
that namespace grows up in a tab in your browser.
that tab might become a self-hosted vscode running from a wanix instance. meaning an instance of linux in wasm in ... running on a filesystem defined / provided from wanix - then vscode uses the terminal / fs from that linux vm that is on that filesystem....
or it can work with wasm programs (such as the example shell called rc)...
English
Edoardo Vacchi retweetledi

Now watching Odyssey as Nolan intended to

narsa.@rathor7_
Now watching Odyssey as Nolan intended to
English
Edoardo Vacchi retweetledi
Edoardo Vacchi retweetledi

We are rewriting Postgres. And in the process, turning Turso into the LLVM of databases: turso.tech/blog/a-new-mod…
English
Edoardo Vacchi retweetledi

I am excited to announce that we are officially writing a new version of Postgres. In Rust - and creating the LLVM of databases in the process.
In the span of a year, we have rewritten SQLite. Keeping the compatibility, increasing its feature set. MVCC, Types, (Live) Materialized Views, among other things. In the process of doing that, we have realized: At the end of the day, what makes SQLite special is that it compiles SQL to a database-specific bytecode. So why can't we compile *Postgres* to the same bytecode?
Turns out we can. I ran an experiment called pgmicro as a way to prove this hypothesis, and it works very well. It is time to make this official, and put the weight of Turso behind it. We shall give the world a modern take on Postgres. Wire compatible, but built on a new architecture.
We have already heard of others wanting to extend this. MySQL? Redis? the sky is the limit. What can we do if we do for databases what LLVM did for compilers? To prove how powerful the SQLite bytecode is, we are actually running DOOM compiled to the unmodified SQLite instruction set. And because Turso runs natively in the browser, you can play the game in your browser. With the database executing it.
Read the full story below! 👇
English









