Andres Vahter ๐Ÿฆ€

Andres Vahter ๐Ÿฆ€

@andres.vahter.me

48 followers103 following12 posts

Andres Vahter ๐Ÿฆ€ reposted

OH MY GOD WAIT ages ago i turned an lpd8 into a system usage monitor with the pads blinking and lighting up with network requests, drive io, cpu/ram load etc i might still have it somewhere . o O ( herdr controller )

Ok, I finally get what Uhura was doing, she just had 120+ agent sessions running at all times with the button colors indicating the state (working, turn finished, ask_user_question, waiting for subagents), that's also why she never took off the bluetooth headset

Andres Vahter ๐Ÿฆ€ reposted

Opus 5.5 is the most fun I've had with an AI model in a long time (and, yes I un-cancelled my Anthropic sub... well played)

Andres Vahter ๐Ÿฆ€ reposted

No joke, I think 1 in 3 text lines on the slides of the presentation I'm attending does *not* have an em dash

Andres Vahter ๐Ÿฆ€ reposted

Obsidian, now in the terminal! ๐Ÿ€ ๐Ÿ’Ž emeraldian โ€” A TUI for your existing Obsidian vault ๐Ÿ’ฏ Live Markdown editing, backlinks, force-directed graphs, images, Excalidraw, Vim mode & more! ๐Ÿฆ€ Written in Rust & built w/ @ratatui.rs โญ GitHub: github.com/iamrohithrna... #rustlang #ratatui #tui #terminal

Andres Vahter ๐Ÿฆ€ reposted

My async compiler work got funded! So here's my first PR: github.com/rust-lang/ru... Roughly, it changes match x { true => foo(1).await, false => foo(2).await, } to match x { true => foo(1), false => foo(2), }.await This means the future will only have 1 state instead of 2

github.comAdd merge yields by diondokter ยท Pull Request #162429 ยท rust-lang/rustPart of Async statemachine optimisation project goal r? dingxiangfei2009 Added a pass that merges functionally identical yields right before the async StateTransform pass. The StateTransform pass c...

Andres Vahter ๐Ÿฆ€ reposted

Replying to @fasterthanli.me

"wire fraud" would be a great name for a protocol testing library

Andres Vahter ๐Ÿฆ€ reposted

Every programmer knows Dijkstraโ€™s โ€œTesting shows the presence, not the absence of bugsโ€ and yet every programmer goes about their day pretending it isnโ€™t true.

srrrse@without.boats

A lot of professional programmers donโ€™t even seem to know what a proof is or why theyโ€™d want one

Andres Vahter ๐Ÿฆ€ reposted

How we developed the world's first safety-certified product written in Rust โ€“ and why we went bare metal > Sonair certified ADAR One, the first safety-critical embedded system in Rust, using Ferrocene on bare-metal TI Sitara for robot safety sensors.

Andres Vahter ๐Ÿฆ€ reposted

ok so it turns out discord is.. 80% there when it comes to interacting with agents. so many cool integration points. each thread even has its own identity, a-la pluralkit :)

Andres Vahter ๐Ÿฆ€ reposted

Andres Vahter ๐Ÿฆ€ reposted

most of us just write rust code

mlf. โŽ”@mlf.one

what if you could somehow use anxiety to, like, make money somehow? like bitcoin. Id be rich. or like some folding@home type scheme where my idle-state anxiety is donated to science. wouldn't that be great?

Andres Vahter ๐Ÿฆ€ reposted

Replying to @fasterthanli.me

re: "how is vibed shit more secure to run than random github repo": bsky.app/profile/fast... agents will leave vulns in by mistake/omission, not malice randos on github, in this climate, however... different story. yes the game has changed ๐Ÿคท adapt.

Amos Wenger@fasterthanli.me

diff threats: - rando-written software (any lang) running privileged in two of my systems: it's a risk! gotta spend lots of time reviewing it! - vibe coded anything running priv on two of my systems: less bad with safe lang, bugs are probably stupid omissions, not exfilt I know how you feel though!

Andres Vahter ๐Ÿฆ€ reposted

๐ŸŽ™๏ธ Check out the new FLOSS Weekly podcast to learn about the growing Rust driver library, ways to build Rust stacks, and opinionated tooling. ๐Ÿฆ€ โ–ถ๏ธ ๐—ช๐—ฎ๐˜๐—ฐ๐—ต ๐—˜๐—ฝ๐—ถ๐˜€๐—ผ๐—ฑ๐—ฒ ๐Ÿด๐Ÿณ๐Ÿด: ๐—” ๐—ง๐—ผ๐—ผ๐—น ๐—ช๐—ถ๐˜๐—ต ๐—ข๐—ฝ๐—ถ๐—ป๐—ถ๐—ผ๐—ป๐˜€: www.youtube.com/watch?v=ah11... #RustLang #EmbeddedRust #FLOSSWeekly #FerrousSystems

Andres Vahter ๐Ÿฆ€ reposted

My impression is that AI coding is on a "pick two of three" triangle: scope, ship speed, and correctness. Small tools are (speed + correctness) fast prototypes are (speed + scope) and big projects are (scope + correctness). Every project that tries to be all three degrades to "fast prototype."

Andres Vahter ๐Ÿฆ€ reposted

Andres Vahter ๐Ÿฆ€ reposted

Why is message passing better? Because it is closer to a purely functional style of programming, where messages come in and messages come out that are hopefully only determined by the state so far. You can build models for what should happen and then test the hardest parts

The ability to do shared-memory concurrency imposes a massive burden on the ecosystem, because everyone keeps having to ask "is this dependency thread-safe". Most languages should just stick to message passing and the actor model (99% of the time, it's a better way to build software anyway)

Andres Vahter ๐Ÿฆ€ reposted

please enjoy โ€” I won breathiest talk of 2026 and the year's not even over!

Andres Vahter ๐Ÿฆ€ reposted

How did we end up in a place where I now need to clean up terrible LLM code? I hate this. The original guy also hasn't learned anything. I'm 70% sure the PR review I gave was just fed back into the LLM, which means that *every single problem* had to spelled out in the review. Is this the future?

Andres Vahter ๐Ÿฆ€ reposted

maybe im egoizing but it feels LLMs expose the โ€œisland of agencyโ€ where on one side you have people who are in some kind of slop fever (including most of the boosters on here) and on the other side you have people falling into superstitious denialism. in the middle you can get so much done.