Woke up to a fun surprise: mti, my Rust TypeID crate, just crossed 2.4M downloads on crates.io, and 7.4M combined with its typeid_prefix + typeid_suffix companions. The driver? SP1, one of the most widely deployed zkVMs, mints every proof and artifact ID in its prover network with it. Wild. 🦀

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

I ran AI agents against my consulting books for a year. The AI worked. The software kept breaking — duplicate imports, unbalanced entries, prose errors an agent can't parse. beankeeper is accounting infrastructure built for agents first. https://www.rodriguez.today/articles/accounting-for-agents

Just shipped `ofx-rs` — a Rust parser for OFX bank statement files. Handles both SGML v1.x and XML 2.0, parses real-world Mercury bank exports, deals with implicit close tags and timezone offsets so you don't have to. Early but working. Toss it a ⭐ if it's useful. 🦀 github.com/Govcraft/ofx-rs

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

I wrote a microservices framework in Rust. It’s called acton-service. And honestly, you probably shouldn’t use it. Not because it’s bad — it works — but because most teams don’t need microservices at all.

Added to the hammock queue.

Jonathan Aldrich@jonathanaldrich.bsky.social · last yr.

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!

Cool beans.

Orhun Parmaksız@orhun.dev · last yr.

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

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

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

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

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

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!

["🎄 Merry Christmas, World!", "🕎 Happy Hanukkah, World!", "🌟 Joyous Kwanzaa, World!", "✨ Happy Holidays, Everyone!"] .iter() .for_each(|message| println!("{}", message)); #rustlang #helloworld #spreadlove

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

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? 🚀 🦀

Manish Shetty@slimshetty.bsky.social · 2y ago

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! 🚀

esmevane, sorry@esmevane.com · 2y ago

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...

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

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! 🚀

#AdventOfCode2024 #rust Peeked into Day 16 and pretty sure Dijkstra's waiting for me. I'll tackle him tomorrow—this weekend's a wrap. 🥱

#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! 🦀

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. 🦀💡

🎅🏽 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

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

I'd be interested in reading this too. Anybody?

Graydon Hoare@graydon-pub.bsky.social · 2y ago

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!

Cool behind the scenes vid on #AdventOfCode

Owen O’Malley@casa-chaos.org · 2y ago

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.

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

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...

Herons in Seattle, herons in Mexico — turns out we share the same migration route.

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...