Recently updated blogs

A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern mathematics I personally am a member of the Lean community because of its phenomenal mathematics library mathlib, which was born around six and a half years ago and has now become a very fast-growing database …

Investment Research | All Insights Weekend Reading – Going 100% Equities? Maybe You Shouldn’t. Team Bankeronwheels January 19, 2024 Comment Article On Forum Share: Team Bankeronwheels January 19, 2024 Comment Article On Forum Share: Click Here to Read How This Compilation Works Weekend Reading is a collection of Investment Research and Lifestyle topics from all corners of the Web. We source the highest quality insights from Wall Street and Main …

It’s snowing, and I have a mic that make me audible outdoors! So I got mildly snowed on while I rambled about board games as roguelikes, what matters when making games ‘different every time’, and how Dune Imperium pulls it off so well.

After a wonderful bop around the Southern half of New Zealand, we booked flights to head up to Auckland in the North. After renting a car in a super sketchy, dark parking lot, we made it to the attic-turned-Airbnb where we crashed for the night. We were raring to go on hikes, so we only […] The post Early Retirement Month Seven: A Bucket-List Trip to Australia and New Zealand …

If you found this article you probably have the same hand tool obsession that has provided income, enjoyment and at times, tranquility for many many generations. You probably also feel the same feeling that I do when I’m working in my shop and enjoying the peace and serenity of hand tool woodworking. The woodworking we do in our shops are our break from the world, it is how we unwind …

photo caption: a tree stump weathered by seawater and the elements. a small patch of grass surrounds the wood. the sky is gray and misting. honestly a lovely day! Hi y’all, I’m taking a quick break from work at Future Emergent and on this blog. I’ll be back by March. In my absence, I’ve queued up a few of my favorite blog posts in the newsletter I launched. A lot …

UPDATE 8/1/22: Some confusion about the date for this one. Some are saying that it was the end of November, but one newspaper article (coming to this page soon!) published on Tuesday 10th December indicates that the party took place on 7th December. A Spirals document entitled SPIRAL TRIBE’S CALENDAR OF POLICE HARRASSMENT AT FREE PARTIES – 1991-1992, still accessible via Wayback Machine, describes the bust at the end: 9.12.91– …

I did a lot of trying to say no to things and step down from things I wasn’t doing (well enough, or in some cases, at all) which was kind of my therapy homework and which was very difficult. Why is focusing so difficult? Why can’t we live 6 lives at once??? Why am I getting older and more tired? It just has to be. More centrally (the therapy part …

Yes, this is my first post in almost a year. I’m no longer prioritizing this blog, but I will still occasionally post something. I wrote ~2 years ago that it was hard to point to concrete opportunities to help the most important century go well. That’s changing. There are a good number of jobs available now that are both really promising opportunities to help (in my opinion) and are suitable …

Off-continent after 446 days!

Thinking back on the time that my Mum gave me the first six A Book Apart books as a gift when I first left Canada to start my career in the UK in 2011. They meant so, so much to me. Not just for the enlightening words within, but also because they were this tangible thing that reminded me of the encouragement from my very academic family to take on …

A cover reveal; an event in the city. Read here.

Image with some help from Dingboard. In 2023, I wrote two pieces on machine learning engineering for The Pragmatic Programmer. (Part 1 and Part 2). However, since I started working with LLMs recently, neural architectures have changed some of those assumptions. To be clear, most of machine learning in production is still not related to large language models or generative AI, and even deep learning projects, of which LLMs are …

There we go. That’s better. I love this moment here. A full moon rising as the sun sets behind me while in the near total silence of this space with its infinite skies. The short version of this story was I heard a song about the American west that made me miss it dearly and I somehow managed to find an opportunity to go alone for a bit. I soon …

Greetings to all and sundry, it's now 2024 believe it or not. It sounds so odd when saying it, and even more so when typing in "2024". Shouldn't we all be living like 'The Jetsons' (a cool futuristic Hanna-Barbera cartoon series of the sixties for those too young to get the reference). Where are the flying cars, transporter beams and such like?Anyway, here we are again with a veritable bounty …