Roland Rodriguez
Roland Rodriguez
@govcraft.ai
Independent Practice @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer
1.9K followers9K following144 posts
For the curious: https://crates.io/crates/mti is a TypeID-style identifier library for Rust (type_prefix_01h2xcejqtf2nbrexx3vqjhp41). Human-readable, K-sortable UUIDv7 under the hood, and a small API that's stayed stable since 1.0. 🦀
Conway's Game of Life and Turing reaction-diffusion patterns, running as pub-sub message pipelines. No application code. Just TOML config, a Rust engine, and marketplace primitives. https://github.com/Govcraft/emergent #rustlang
System design tip. Removing capabilities from components is more powerful than adding them. Constrain what each piece can do, enforce it at the boundary, and useful properties emerge you'd otherwise have to build by hand. Full write-up: www.rodriguez.today/articles/eme... #rust #coding #programming
If you’re curious: Repo: github.com/govcraft/act... Docs: govcraft.github.io/acton-service/ If it helps you out, toss it a ⭐. If not, that’s cool too — Carrot will judge you silently from his nap box.
Added to the hammock queue.
I'm delighted to announce the 5th edition of Programming Language Pragmatics! I joined Michael Scott as a coauthor. We updated the semantics chapter to use inference rules, & substantially updated coverage of types, OO, codegen, Rust ownership & safe concurrency, async, traits & more!
My #Rust crate "Magic Type ID" (MTI) is now v1.0! 🎉 Opaque UUIDs (f47ac...) make logs & APIs a guessing game. MTI gives you human-readable, type-safe IDs like user_01h45.... Globally unique, K-sortable, and way clearer for debugging. 🦀🚀 Grab it: crates.io/crates/mti Toss a ⭐: github.com/GovCraft/mti
Hey Bluesky peeps👋🏽 Just shipped MailLaser: a receive-only SMTP server that sends emails to a webhook as JSON. Sender, subject, text (HTML optional). Links email to web services, no Rust skills needed! 🦀🚀 #rustlang #automation github.com/Govcraft/mail-laser
Check it out on GitHub! Open-source, MIT-licensed, built in Rust. Bridges email to web apps—use Docker or binaries, no coding required. Grab it or toss a ⭐ if useful! 🦀💡 #opensource #coding github.com/Govcraft/mail-laser
Back on Bluesky and finally got Acton Reactive to v1. Message-passing with agents, Tokio, no locking nonsense. Docs are finally updated too. If you’re into Rust concurrency without the headache, might be worth a peek. 🦀🚀 #rustlang #rust #opensource #coding github.com/GovCraft/act...
AI coding assistants struggle with Rust's fast-moving ecosystem, often suggesting outdated APIs. 😩 Built this MCP server so tools like (Cursor, Roo, Claude etc.) can query current crate docs directly before generating code. Give it a try & ⭐ if useful! 🦀🚀 #rust #ai #mcp github.com/Govcraft/rus...
Thanks @seanmonstar.com for all the hard work you put into hyper. 👍🏽🦀 daniel.haxx.se/blog/2024/12...
UC Berkeley team just unveiled an LLM-powered C-to-safe Rust translator—automating the leap from legacy C to modern, safe Rust. No manual rewrites. Continued research like this will redefine secure systems development. Thoughts? 🚀 🦀
First 🦋 post and excited to share some new work: Syzygy: Dual Code-Test C to Rust Translation using LLMs and Dynamic Analysis! Result: We successfully translated Zopfli, a C compression library with ~3000 LoC to Safe Rust with test-based validation syzygy-project.github.io
A great reminder that sometimes less really is more. Love stumbling on gems like this in the #rustlang ecosystem! 🚀
Was digging into capability-based code in #rustlang to see what the prior art looks like and found "cap_access", which is the most succinct one-file crate I think I've ever stumbled upon. This source is marvelous, it makes me want to go and split up all my crates github.com/arceos-org/c...
Juggling proposals, code, and every #AdventOfCode2024 challenge (still on track!). Haven’t had time to share solutions, but productivity’s been off the charts. Tonight’s win: whipped up/published a crate I needed for WEBVTT serialization/deserialization with Serde. 🚀 #rust github.com/GovCraft/vtt
Day 7 - Advent of Code 2024 #AdventOfCode #rust Taking a break from Day 8 to post Day 7. Optimized using perf, criterion & heaptrack till I tired of it. They're getting more fun to think through! Code runs fast; could be cleaner but, meh...you get what you pay for. 🤷🏽 github.com/rrrodzilla/a...
Day 6 - Advent of Code 2024 #AdventOfCode #rust Solution evolution: >6s runtime 🐢 - Vec/HashSet => poor cache & full-sized data types 0.65s 🐇 - Parallel with Rayon => still memory heavy 0.071s 🚀 - Bit-packing, small ints, better locality + parallel ~100x faster 🦀 github.com/rrrodzilla/a...
My reaction: www.youtube.com/watch?v=OQSN...
Done! If you're a Rustacean or thinking about becoming one, take a few minutes to share your thoughts. This is a great way to help shape the language and its future. The folks involved with the Rust Project take these results seriously so make your voice heard! 🦀 #rust #rust_lang
The 2024 State of Rust Survey is up: blog.rust-lang.org/2024/12/05/a... If you are using Rust (beginner or expert) or wants to, please take a few minutes to fill in this survey. This will help shape the future of the language and the community.
Day 5 - Advent of Code 2024 #AdventOfCode After yesterday's trickery, today's puzzle felt suspiciously straightforward. I can't help but feel we're being set up for something... Day 5 and already playing mind games! github.com/rrrodzilla/a...
Day 4 - Advent of Code 2024 #AdventOfCode #rustlang Fooled me twice, so I got spiteful and SIMD'd tf outta this, sprinkled in a little unsafe, then squeezed as much juice from it till I got bored. Final time stats: 20k file - 0.04s user 0.00s system 99% cpu 0.043s total. github.com/rrrodzilla
Roland Rodriguez reposted
Day 3 - Advent of Code 2024 #AdventOfCode #rust_lang Today's challenge offered an opportunity to showcase Rust's zero-cost abstractions: built a heap-allocation-free solution using only std traits and newtype pattern. Type-safe, clean lifetimes, no external crates needed. github.com/rrrodzilla/a...
Roland Rodriguez reposted
pola-rs / polars: Dataframes powered by a multithreaded, vectorized query engine, written in Rust ★30637 https://github.com/pola-rs/polars
Day 2 - Count it! #AdventOfCode adventofcode.com/2024/day/2 #rustlang #programming