Community Posts

F#, Microsoft Agent Framework, MCP and Bitcoin for the F# Advent Calendar 2025

December 18, 2025 - https://www.aligneddev.net
Thank you to Sergey Tihon for another year of F# Advent and for adding me to the calendar. Be sure to catch the other articles. May you know the Truth and the Reason for the Christmas Season! This is my second year participating in the F# Advent. Last year I wrote about My Journey towards Functional …
Read more about F#, Microsoft Agent Framework, MCP and Bitcoin for the F# Advent Calendar 2025

Bare Metal Zig

October 6, 2023 - http://austinhanson.com
Lately, I’ve had a nagging interest in working on a minimal OS again. Philipp Oppermann’s guide to Writing an OS in Rust is an absolutely fantastic place to start and I encourage anyone interesting in programming to go through it. As indicated above, I’ve been hankering for …
Read more about Bare Metal Zig

Calling Rust from iOS

November 18, 2022 - https://burgers.io
I started looking into how I can use Rust in an iOS project, and I wanted to share my first steps. In this article, we’ll create a basic Rust library, a basic SwiftUI app, and we’ll integrate the two. No point in dilly-dallying; let’s get into it. Creating a new Xcode project So first, we need …
Read more about Calling Rust from iOS

Public Cert Trust Stores in Ruby: What am I trusting and should I be? The internet is scary

April 11, 2020 - https://rollingwebsphere.home.blog/
When I was a senior in college (longer ago than I should admit to) I did a demonstration about sniffing user’s facebook traffic when they were using wifi at my college. At the time Facebook didn’t redirect HTTP -> HTTPS by default and most users were connecting over plaintext. Since then Facebook …
Read more about Public Cert Trust Stores in Ruby: What am I trusting and should I be? The internet is scary

Hosting a User Group on Zoom (when it’s normally in person)

April 11, 2020 - https://rollingwebsphere.home.blog/
I’m not looking to add to the noise around using zoom to work remotely and connect with people during social distancing, but after spending some time on Google I couldn’t find a guide on how to do this. These are pretty much my own notes while I’m prepping to try and host a user group through zoom. …
Read more about Hosting a User Group on Zoom (when it’s normally in person)

Tips and tricks for getting started in CDK (a.k.a. IaC is great! Daheck is typescript?)

March 9, 2020 - https://rollingwebsphere.home.blog/
I’ve been doing IaC in AWS for years now, primarily through Cloudformation and scripting languages like powershell and python. IaC is great, but these tools have some short comings like yaml being very verbose, and the powershell AWS SDKs not handling idem potency for you. Because of those short …
Read more about Tips and tricks for getting started in CDK (a.k.a. IaC is great! Daheck is typescript?)