Today I discovered a new coding agent TUI! 💯

☁️ shai — Pair programming buddy that lives in the terminal (by @ovhcloudus.bsky.social)

🔥 Supports configuring providers, shell assistant & more!

🦀 Written in Rust & built with @ratatui.rs

⭐ GitHub: github.com/ovh/shai

#rustlang #ratatui #tui #ai

Here is how I manage audio devices on Linux 🔥

🎛️ wiremix — A simple TUI audio mixer for PipeWire

💯 Supports adjusting volumes, routing audio between devices and applications

🦀Written in Rust & built with @ratatui.rs

⭐GitHub: github.com/tsowell/wire...

#rustlang #ratatui #tui #pipewire #audio

I see rats... rats everywhere

We've managed to push down the memory usage of the TPU QUIC networking stack in Agave (Solana validator) from 2.6GB to 124MB. All of that just by using the `bytes` crate consequently and utilizing its zero-copy capabilities.

github.com/anza-xyz/aga...

I can't even.

Never in my life did I imagine we would witness such utter contemptuous behavior from the leaders of the most powerful country in the world.

Absolutely disgraceful.

And exceptionally emblematic of how utterly misguided we are as a country.

www.nytimes.com/video/us/pol...

Bunt przeciwko regulacjom jest nieunikniony! Niezależnie od tego, czy komuś w UE się to podoba, czy nie. To jest ten moment!

The revolt against regulation is inevitable! Whether someone in the EU likes it or not. The time is now!

Redis + Ratatui = 🔥

🧰 ratisui: A TUI for exploring Redis databases from the terminal!

🚀 Supports command execution, auto completion, logging & more!

🦀 Written in Rust & built with @ratatui.rs

⭐ GitHub: github.com/honhimW/rati...

#rustlang #ratatui #tui #redis #database #terminal #explore #tool

Just leaving it here

We are asking Ukrainians to defeat the armies of Putin and Kim Jong Un. In their efforts to do so, Ukrainians helped bring down Assad. Ukrainian resistance is one of the most stunning military achievements in modern history.

Making Unsafe #rustlang a Little Safer: Tools for Verifying Unsafe Code, Including Libraries in C and C++

blog.colinbreck.com/making-unsaf...

"I'm getting an arm64 NAS."
"Oh so like a low end Synology?"
"Uhhhhhh... a 64-core Ampere Altra."

As Ben Cox put it, continuing in my well-known tradition of having absolutely freak show computers.

(I have Reasons and they are FIPS related, which makes it even sillier IMHO.)

Byzantine Consensus in Wireless Networks (Hao Lu, Jian Liu, Kui Ren) ia.cr/2024/2017

Experiment (and I love it) - giving a university course on modern ZK proofs. Basics of ZK, univariate ZKs, Plonk's gadgets (gate/wire checks), PCSs, elliptic curves & AGM, KZG, multilinear polynomials, sum-check, HyperPlonk, GKR - and now starting with hash functions and corresponding SNARKs.

Berlin summer normally vs Berlin "summer" 2023

I started a blog/website. For now it has one article (an old one, from Deepfence blog, featured on TWIR, now corrected a bit and with syntax highlighting, duh). Hopefully I'll keep posting there.

https://vadorovsky.gitlab.io/

ngl I'm genuinely baffled why this app hasn't opened up to the public yet

very peculiar strategy in the face of competitor meltdowns