He Rewrote Everything in Rust — Then We Got Fired | by ThreadSafe Diaries
He Rewrote Everything in Rust — Then We Got Fired | by ThreadSafe Diaries
Readings shared July 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/19-readings_shared_07-18-25 #ACL2 #CompSci #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Rocq #Rust #Teaching
Comparing codes: Binary search in a 2D matrix. ~ James Bowen. https://mmhaskell.com/blog/2025/7/14/binary-search-in-a-2d-matrix #Haskell #FunctionalProgramming #Rust
Hola!
Estoy estudiando la ingeniería computacional en Los Estados Unidos en el Pennsylvania State University.
Me encanta #Linux y #Rust. También me interesa el programación de graficas.
Ahorita estoy trabajando en un reproductor de musica escrito en Rust con el crate #libcosmic para el escritorio de #COSMIC.
I built a toy Claude Code clone in Rust, to figure out what these agentic products look like under the hood.
TL;DR - they are fairly simple and, unsurprisingly, a lot of the heavy lifting is done by the models. Of course I'm glossing over all of the UI niceties that tools like Claude Code have implemented and that I didn't bother to. But you can get very far, IMO, with Claude 4 and some basic tools.
Anyway, have a look, if you'd like. And feel free to fork/contribute/do whatever with it. https://github.com/hgrsd/deputy
it's a neil young & crazy horse reference
I saw a rant here that PeerTube creators do not receive the traffic they deserve so I got an idea!
Let's use this this thread to share great PeerTube creators!
I'll start!
Introduction to Rust 101, a great series of videos about Rust, I'm right now on Chapter 3 and find the whole series super useful! (in English)
https://video.infosec.exchange/w/p/aUTyZA8bp5b8EDeT8VaV6M?playlistPosition=1
#peertube #rust
(apologies, I don't know how but I deleted the original toot, so let's try again :((()
I saw a rant here stating that great PeerTube creators do not see the traffic they deserve, so I got an idea.
Let's use this thread to share some good PeerTube content!
Everyone, please feel free to join
I'll start:
An excellent introduction to Rust, I'm right now on Chapter 3 and find the whole series very useful for learning.
https://video.infosec.exchange/w/p/aUTyZA8bp5b8EDeT8VaV6M?playlistPosition=1
Works for me in #JavaScript, #Python, and #Rust buffers, but not in #C, where I get:
rx--translate-bounded-repetition: rx ‘**’ range error
This works for me, though:
(defun my-latex-preview (&optional ARG)
(interactive "P")
(let ((the-mode major-mode))
(org-mode)
(org-latex-preview ARG)
(funcall the-mode)))
Photo a Day 3: Afternoon Bells
Shop: https://mike-smale.pixels.com/featured/afternoon-bells-mike-smale.html
Heck yeah, this thing will blow up!
Introducing Operese (a Windows-to-Linux migration tool made by a nerd):
https://yewtu.be/watch?v=PMoXClh8emw
(or YT: https://www.youtube.com/watch?v=PMoXClh8emw)
The demo is very impressive!
It apparently migrates your #Windows10 installation to #Linux #Kubuntu () with all your files ready to use.
Written in #Rust, but not yet #OpenSource (according to author will be Open Source in the near future).
For #TextureTuesday , the underside of a bridge near the coast in Lompoc, CA
#Rust
The documentation gets better!
Manage multiple #VM on remote nodes/servers through a single cli.
#rust #cloudhypervisor #ipv6 #nixos #linux
https://github.com/pipelight/virshle
RustLang question: If `From` is implemented between two types, is it possible to seamlessly convert between Vectors of those two types?
Compiler won't let me `impl from<Vec<...>>` for the two types since `Vec` isn't in my crate.
This whole thing is working around the fact that `NodeGroup` in an external crate doesn't have `Deserialize` on it, though it is generated code by `prost`...
Gave up on it after Rust build choked when building as a ClamAV dependency from ports, also when building directly on its own. I think I know why clamav has been sitting there so long with an audit-noted vuln.
2 hours+ now. It’s MUCH less efficient in the install stage.
I need to remember to never do this again.
Scrap collection.
After sorting that sheetmetal, I drove around the farm and picked up some scrap metal that is definitely destined for the junkyard.
Piled it up behind the big barn for now. Should have a car trailer full soon.
Since both northern scrap dealers are being accused of cheating (not letting you see the scale when weighing in/out, wtf), I think we'll wait until the road to Vilnius is upgraded and haul it there. I hate cheaters :-P
Another full day of work complete. Gotta push hard when the weather is good, can rest on the rainy days.