Magnifica Humanitas (Encyclical Letter)
INTRODUCTION The res novae of our timeTwo biblical imagesBuilding for the common goodRemaining human CHAPTER ONEA DYNAMIC APPROACH FAITHFUL TO THE GOSPEL A Church journeying through human history The wisdom of the word of God in dialogue with the human sciences Social Doctrine as a shared discernmentThe development of Social Doctrine from Leo XIII to […]
Jira Is Turing-Complete
Jira IS Turing-Complete Nicolas Seriot Computation > Jira is Turing-Complete Building a Minsky Machine in Atlassian Automation22nd May 2026 Engineering folklore holds that Jira (Atlassian’s project-tracking tool) is Turing-complete. Existing claims point vaguely at automation features without exhibiting a reduction. This article supplies a proof, with setup instructions and execution trace. Mapping the Computational Model […]
The Eternal Sloptember
I’m calling it now, the adoption of AI agents into software development will be one of the most costly mistakes in the field’s history. Agents cannot program, and it’s taking longer and longer to realize that they can’t. They are a highly sophisticated statistical model designed to mimic the distribution of programming. The output is […]
A fundamental principle of aeronautical engineering has been overturned
Aerodynamic drag is a major “barrier” in high-speed airplanes, automobiles, and bullet trains. This is because a design with less aerodynamic drag allows the aircraft to move at higher speeds with less energy. When an aircraft or car body moves at high speed, a thin layer of air called the “boundary layer” is formed on […]
Defeating Git Rigour Fatigue with Jujutsu
This post assumes a basic level of familiarity with the jujutsu version control system. If you haven’t used jujutsu, you’ll still get the gist of the idea, but I recommend reading Steve’s Jujutsu tutorial after. When developing a large feature, writing Good Commits is hard. And by Good Commits, I mean something like: define types […]
Migrating from Go to Rust
Out of all the migrations I help teams with, Go to Rust is a bit of an outlier. It’s not a question of “is Rust faster?” or “does Rust have types?”, Go already gets you most of the way there. The discussion is mostly about correctness guarantees, runtime tradeoffs, and developer ergonomics. A quick disclaimer […]
Claude Is Not Your Architect. Stop Letting It Pretend
I’ve seen it three times in the last month. Three different organisations, three different tech stacks, the same pattern. Someone has an idea. Maybe a product manager, maybe a team lead, maybe the CTO after a conference. They open Claude, or ChatGPT, or Copilot — doesn’t matter which — and ask it what they should […]
Don’t know where your data is from? Bayesian modeling for unknown coordinates
location_surface_grids = {} with location_error_gp_model: for multiplier, X_noisy_value in zip(multipliers, noisy_xs): pm.set_data({”X_noisy”: X_noisy_value, ”σ_s”: multiplier}) posterior_mean_point = { name: location_error_idatas[multiplier].posterior[name].mean((”chain”, ”draw”)).values for name in [”μ”, ”σ”, ”ℓ”, ”σ0”, ”Δs”, ”X_true”] } f_mean, _ = gp_location.predict(Xnew, point=posterior_mean_point, diag=True, pred_noise=False) location_surface_grids[multiplier] = f_mean.reshape(n_prediction_grid, n_prediction_grid) naive_kde_grids = {} kde_bandwidths = { multiplier: location_error_idatas[multiplier].posterior[”ℓ”].mean((”chain”, ”draw”)).item() for multiplier in multipliers […]
Flick (YC F25) Is Hiring Front End Engineer to Build Figma for AI Filmmaking
About Us Flick is defining the future interface for AI native filmmaking. Think Figma and Cursor, but for creating AI films. Founded by Engineer who built Instagram Stories + Award winning filmmaker, we are a team of Tech + Artist. Well-funded by top VCs. Checkout our recent launch post Award-winning AI Films created using Flick […]
Memory has grown to nearly two-thirds of AI chip component costs
For each AI chip designed by Nvidia, AMD, Google, and Amazon, we estimate the per-chip cost of four component categories: memory (HBM), logic dies, advanced packaging (CoWoS), and auxiliary components. We then multiply those per-chip costs by estimated quarterly production volumes to get total component spending in each category, and compute each category’s share of […]