Mastodawn

#rust #rustlang #async I decided to try to adapt tower middleware to the Reqwest HTTP client. I wrote about happened. (https://www.unwoundstack.com/blog/rust-client-middleware.html)

The State of Rust Client-Side Middleware

Using Tower middleware with the Reqwest HTTP Client

Michael Feb 13

How to salt & pepper your passwords in Rust using Argon2id #infosec #rust (https://www.unwoundstack.com/blog/peppering-passwords-in-rust.html)

Peppering Passwords in Rust

How to salt & pepper your passwords in Argon2

Michael Jan 30

The Tor Project Jan 30

🚨 Our X (Twitter) account has been compromised. We are working to regain access.
Please do not trust or interact with any posts, DMs, or links from our account until further notice.
Stay updated here, on our other socials (🦋) and our blog: https://blog.torproject.org/

Tor Blog | The Tor Project

Michael Nov 28, 2024

#emacs Succinct, clear write-up on #gtd via #orgmode from @me: https://jlamothe.net/blog/2024-11-15/ I have the same attention problems & use it in much the same way (to not drop things on the floor)

Blog - 2024-11-15 - Organizing My Life with org-mode

Michael Nov 28, 2024

#typetheory #dependenttypes #idris Representing HTTP header names using dependent types (https://www.unwoundstack.com/blog/dependent-types-and-http-headers.html)

Dependent Types and the Art of HTTP Headers

A bit of enlightenment in writing correct code

Michael Oct 15, 2024

#idris #typetheory I figured-out how replace works in Idris! (https://www.unwoundstack.com/blog/replace-in-idris.html)

Using replace in Idris

How I use the replace function in Idris

Michael Aug 4, 2024

@felixonmars Can you upgrade the Arch Agda package to Agda release 2.6.4.3? 2.6.4 contains a fairly serious bug: https://github.com/agda/agda/issues/6956 that's been patched since.

Agda2-mode is broken on Emacs 30 · Issue #6956 · agda/agda

I am using agda 2.6.4 and Emacs 30.0.50. My GHC version is 8.8.4. I installed agda via cabal, cabal is version 3.0.0.0, cabal library is version 3.0.1.0. OS Ubuntu 22.04 Problem: When I open an agd...

GitHub

Michael Jul 21, 2024

#emacs #companymode got burned today by fill-column-indicator-- use the built-in display-fill-column-indicator-mode instead (https://www.unwoundstack.com/blog/fill-column-indicator.html)