Viewing profile — heisenzombie

First up, I agree that mathematical pedagogy is usually pretty rough, more or less from Kindergarten to Postdoc. But, this article implicitly assumes that a mathematical proof has …

I suspect the diaresis was intentional, in “New Yorker” style. https://www.arrantpedantry.com/2020/03/24/umlauts-diaereses-...

It bears really thinking through the alternative: So we're going to have some engineers specify suitable digital replacements given the process/environment/safety requirements. We'…

I did (using Claude Code) something that sounds very similar to this. It’s a bunch of bootstrapped Unix tools, systemd units, and some markdown files. Two comments: - I suspect tha…

Jax is super fun to use outside of ml! Recently I had fun reimplementing an old (but still usable!) code for accelerator optics. It involved transfer matrices for a 6D phase space …

Well nothing, I think what is being proposed is to trigger existing capital gains taxes when an asset is borrowed against, the same as if it were sold. Most places exempt personal …

I was under the impression that everyone (ie US, UN, EU) basically agreed they complied with the JCPOA right up until the US pulled out of it? Is that not accurate?

In Australia it's the board of directors who are liable. They can be liable if they personally direct the company to do something illegal (obviously?) but there is also a positive …

Another irony is that I clicked on one of their suggested questions ("My aging parent lives alone...") and the first part of the answer was: """ 1. Explore Government and Community…

I have Copilot buttons sprinkled everywhere on my work computer, and every time I have tried to use them I get something saying "Oh, I can't do that". It's truly baffling. Copilot …

The idea is good, but juv is a one-jupyter-per-notebook model which isn't very practical for how my team uses jupyter. My attempt at "juv, but systemwide-jupyter-plus-one-kernel-pe…

“PrettyFlyForAWiFi”

Climate scientists have been correctly predicting the future for 50 years: https://agupubs.onlinelibrary.wiley.com/doi/10.1029/2019GL08... "Retrospectively comparing future model p…

I also was impressed at Chris Borge's lathe build: https://www.youtube.com/watch?v=6Js8erWbsDQ It's small and kind of underpowered, but not useless! The central idea is to 3D print…

I'll second the plug for structured concurrency (and specifically the Trio [1] library that the author wrote. [1] https://github.com/python-trio/trio

Yes. Others have pointed out the shortcuts in iOS and macOS. For Windows—I have Alt-0151 in muscle memory.

Quick plug here for a simple Jupyter kernel I created: https://github.com/tobinjones/uvkernel It’s a pretty minimal wrapper around “uv” and “iPython” to provide the functionality f…

This seems right to me. I often ask questions in two phases to take advantage of this (1) How would a professional in the field ask this question? Then (2) paste that question into…

No I had the same reaction. This kind of rigid "semantic network" kind of approach just can't work in the absolute case. And the author seems quite "absolute" about it. It comes do…

Ooh, it's a bit hot in here! I better throw some water on these rocks to cool them down. Joking aside, I actually don't know how dry it is in the underground, and therefore whether…

Hm, I haven't had any luck making this work. Have opened an issue.

I have been thinking about this for months now! Very excited to see you've implemented it, and I'm excited to try this out. Could be fantastic for my use-case. We have a large repo…

I understand the audiobook server, but what’s the use case for the podcast part? You replicate a podcast on your own server, in case the original goes away?

My experience is that SOTA LLMs still struggle to read even the metadata from a mechanical drawing. They're getting better -- they now are mostly ok at reading things like a BOM or…

He seems reasonably explicit about this: "" This means that when using polynomial features, the data must be normalized to lie in an interval. It can be done using min-max scaling,…