Mangara

@mangara42.bsky.social

Software developer and computer scientist.

Discourse lags practice in software engineering. I've had the luxury to be out here this year having a ton of conversations with people in software about their daily lives without any kind of agenda other than curiosity. ~6 months ahead of what gets boiled into writing, or more (sometimes much more)

ICYMI, the biggest science story this week isn’t the Nobels—it’s OpenAI’s new release that includes multiple Fields Medal-worthy results. The intelligence explosion is sweeping thru math like a wildfire. And it’s probably coming for most everything else, too. What will next week/month/year bring?

Lee Billings@leebillings.bsky.social · last mo.

Now on @sciam.bsky.social: OpenAI’s latest math dump has arrived. It consists of hundreds of new results to major problems, from the same internal model that produced a million-dollar math proof last month. It could take mathematicians years to sift through it all.

A fun fact about neutrinos is that they come in three “flavors” (types) and also in three masses and you would think that this means each flavor has its own mass and you would be absolutely wrong about that.

Hey, Rails peeps. Hot Cell is a suite of gems that helps you secure Active Storage against image library zero-days. I just released v1.0! mike.daless.io/posts/2026/1... Links to Rails World video and slides as well as the project repo and docs are in the post.

Hot Cell v1.0: Securing Active Storage in the age of AI

Hot Cell v1.0 moves Active Storage's image, video, and PDF processing out of your Rails app and into a locked-down sidecar container.

mike.daless.io

Very forceful statement by Terry Tao about AI and math. terrytao.wordpress.com/2026/09/11/a... Note, he is not claiming the models aren't real and powerful. He's talking about how that power should be used. This, I believe, is what all AI discussions should center.

A Severe Misalignment of AI in Mathematics

I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…

terrytao.wordpress.com

I've seen everyone sharing that US Dialect Quiz so I decided to make my own, much crappier, CANADIAN DIALECT QUIZ to guess where in Canada you're from

A flow chart I have created with multiple questions and the answers determine where you're from.

Question 1 is do you call it a hydro bill (which then branches down to ON, QC, BC, MB) or an electric bill (which then branches down to SK, AB, NS, NB, PEI, NL)

Question 2 is do you call it a cabin (BC, MB, AB, SK) cottage (ON and atlantic) camp (northern Ontario) chalet (QC) or bungalow (Cape Breton)

To delineate BC from MB: do you call it dinner or supper

To delineate southern Ontario rural or big city: have you heard of a stag & doe

To delineate SK from AB: do you call a hoodie a bunnyhug

And finally to delineate NL from the other atlantic provinces: whaddayat? (Correct answer: dis is it b'y)

Here’s the SolidQueue batches 2.5 year architectural journey, filled with O(n^2) algorithms, hot row contention, excessive jobs, and much in between. There’s a strong chance you’ll learn a thing or two - I certainly did 😮‍💨 jpcamara.com/2026/08/31/s...

SolidQueue Batches: evolution and architecture

When Rosa first released SolidQueue, she did a fantastic talk on the internals of how it works and what trade-offs she made when building it. You should give it a watch. It’s where I first learned how...

jpcamara.com

These homes on Sherwood Drive look normal, sure. But did you know they’re the site of the only residential zoning appeal in Ottawa to reach the Supreme Court of Canada? It’s a wild story of secret council meetings, expropriations, fake highways—and a side of mustard. 🧵Thread…

Two houses on a residential street

This is Comet Leonard during its approach to the Sun, imaged by Gerald Rhemann on Christmas Day 2021. The comet had been discovered earlier that year, and broke apart in 2022. This photo won the overall prize for Rhemann of the Royal Observatory Greenwich's Astronomy Photographer of the Year 2022.

A bright point of light at the top of the image is the comet's nucleus; the comet's gas and dust tails trail from the nucleus to the bottom of the image. Complex structures in the dust tail result from outbursts from the nucleus as it undergoes solar heating.

Like….everybody shut the fuck up and stop fighting. You are taking the wrong fucking lesson from this border-crossing smoke nightmare. The lesson is *all of earth’s ecosystems are entwined, borders mean nothing, all emitters are culpable, this is an EARTH PROBLEM NOT A COUNTRY PROBLEM*.

A haunting, sad but hopeful imagined version of what America’s end might feel like to the future, which hits very differently now from when I planned the speech back in 2006. It compares America to the first human infant carried & born in space, & wracked by the consequences.

Word Family Friday@wordfamilyfriday.bsky.social · 4mo ago

Sometimes, I think of the words of Mycroft Canner on Feb 16, 2455 (@adapalmer.bsky.social _Perhaps the Stars_, 2021) “THE OLD UNITED STATES OF AMERICA remind me very much of Terra the Moon Baby. Both were crisis births, sudden necessities when too much damage made healing and homecoming impossible.

I'm generally in favour of space exploration and would love to see a research outpost on the moon or Mars. This book opened my eyes to the many challenges and unknowns that we still need to solve before we can get there, let alone actual settlements. Very well written and a fun read!

Dan McCrum@mccrum.bsky.social · 5mo ago

For all would-be SpaceX investors, reading "A City on Mars" is a strong recommend. Very funny on the many ways space is terrible, uneconomic, and the decades/centuries of (boring, non-phallic rocket related) research needed to make settlement even a vaguely realistic proposition.

A City on Mars: Can we settle space, should we settle space and have we really thought this through?