goerz

I always think these announcements are about https://blink.sh/

I don’t know why it’s okay to steal product names like that.

Because `a+b` is a much better variable name than `t`? Why `t`? If anything, `a_plus_b` or `apb`

With a proper keyboard layout, you can type a lot of unicode: https://michaelgoerz.net/notes/the-us-international-scientif...

I would totally want that! Specifically, `a+b = a + b` where `a + b` is an expensive operation. Julia allows stuff like that to some extent, e.g. https://github.com/JuliaQuantumControl/Krotov.jl/blob/3132f0..., but unfortunately not with `+`

"just"

You should try a-Shell if you want a native vim

I similarly use the iPad for handwritten notes. The 12.9” size is absolutely essential to me, and that’s only available in the Pro.

I am a quantum physicist and I can confirm that’s not how probability amplitudes work . The amplitudes are just complex numbers. Remember that complex numbers describe oscillations. A number r * exp(i phi) is an oscillation with amplitude r and current phase phi. Quantum states are wave functions, hence the complex numbers describing the oscillations. Amplitude -1 is just the bottom of the oscillation. Then on top of that you have that probabilities are the squares of the amplitude (for which I’m not sure if have a concise explanation).

There’s some confusion here about the exact word being used. The German word that is mistranslated here as “floor” is “Stock”, which actually means “addition”. So the floor above the ground floor is the first addition, not the “first floor”.

While I might agree that it would be nice that code without a license was public domain, that's most certainly not the legal situation we have right now. If there's no license, you can't redistribute it at all.

Even as a consumer, Apple’s arbitrary enforcement of made-up rules is infuriating. One of my most-used apps is a radio streaming app “MusiCharts”. It hasn’t been updated in years because (according to the developer) Apple refuses to let him update the app since they think it’s too trivial. Yet, it is the only radio streaming app I’ve found that can scobble to Last.fm, and it provides huge value to me. Hopefully, it will survive a few more iOS updates.

Very nice table! If you want to spend 5kb more, I got something printable: https://michaelgoerz.net/refcards/#periodictable ;-)

The Remarkable tablet is pretty good (although I prefer the iPad, except for in direct sunlight)

I am not a lawyer, but my legal intuition / common sense says that “code snippets” are not copyrightable. There’s some sliding scale on when a code snippet would become so non-trivial that a reasonable (!) judge would consider it copyrightable, but nothing Copilot does is anywhere close to that limit, IMO.

I consider Muse’s ink engine pretty good, although I’ve never found anything that comes close to GoodNotes. So that would be the one to emulate – including nice features like their “pause and hold for straight line”, which I really miss in Muse

I mean, yeah, "freemium" is somewhat common, but in this case I find it particularly graceful in that the freemium doesn't limit the features, just the complexity of your board

I'm usually not too fond of subscriptions either, but I have to say that Muse has the most ingenious subscription model I've ever come across: If you're using it casually, the free version is plenty (Remember that you can always archive stuff by exporting it, and 100 cards will go a long way. Plus, you can stop paying and still have read-access and even limited editing for your existing boards).

If you use it heavily as a daily driver, then the $3.99 or $9.99 should be a drop in the bucket. It scales very naturally between casual use and the paid tiers. Personally, I could probably do with the $3.99, but I'm choosing to pay the $9.99 since I want to support their ongoing research. Their podcast shows the enormous amount of thought they're putting into this, and it shows! Together with Blink (an SSH app with similar focus on UX design) this is by far the most productive iPad app I have.

That’s very unfortunate. If anyone from GitHub is here: is that going to be rectified?

I would, for linting and vim integration comparable to what’s available for Python.

Even more important note from that article: "The House of Representatives, which has held a committee hearing on the matter, still must pass the bill"

I don't think there's any guarantee that they will even take up the bill, much less vote for it. (Hopefully, I'm wrong, because I would love permanent DST)

"Republican Sen. Marco Rubio of Florida, a sponsor of the legislation, said he doesn't have any assurance the House will take it up" in https://www.cnn.com/2022/03/15/politics/senate-daylight-savi...

Plus the fact that this is not front page news, which I think it would be if we actually made daylight savings time permanent. :-)

My understanding is that that the house has no plans to pick up this senate bill. So this was a purely symbolic vote. Nothing actually happened. This bill has not made it into law and most likely never will

I think it does, but only when "Format messages with markup" is on, see https://slack.com/help/articles/202288908-Format-your-messag... and the asterisk at the bottom

Not directly, unfortunately. Sometimes you can hook it into the tooling, like the Makefile or the test runner.

Other than that, enforce it in CI: patches that don’t match the code style can’t be merged

Does this sync sideloaded books between different devices, now? Especially the e-reader and the iOS Kobo app? The lack of side-load-sync that was the primary reason I returned a Kobo e-reader a few months back and went back to Kindle (which does that pretty well via email, except that books only have those stupid “locations” instead of page numbers)

I briefly looked at their website recently, and it looked to me like Penrose just renders the diagram interactively as a webapp. I didn't see a "compiler" that would translate the diagram code into a standalone PDF/PNG file that would be easy to include in a LaTeX document.

One thing I find helps with the vibrations (up to a point) is to keep my laptop on my lap, as opposed to on the foldup table

I also don't see Chinese symbols as fundamentally different from non-english ASCII. It's pretty common for Physics bachelor students to show still naming their variables and write comments in e.g. German (my teaching background). I'll push them to kick that habit pretty quickly and switch to English, but this is no different from them still writing the bachelor thesis in German and then switching to English for the master and PhD: there's nothing really wrong with it, but you won't have any reach within the scientific community if your work is not in English.

There's really nothing wrong with beginners starting out in their own language. Why shouldn't a 14 year old Chinese kid write their first programs using Chinese characters as identifiers? I'd much rather have a language support full Unicode they way Julia does than to force everyone into ASCII.

If that’s what’s most appropriate for the field you’re working in, sure, why not?

Of course it will limit who will be able to interact with your project, which can be a good thing or a bad thing. For the math-unicode in numerical software, you may not even want someone without at least a minimal math background (enough to understand Greek letters and math symbols) working on the code. Likewise, a project that’s inherently Chinese, where it doesn’t make sense for the users/developers not to know Chinese, should feel absolutely free to use Chinese symbols in their source code.

On the other hand, if you do it gratuitously, you just unnecessarily limit collaboration. I’m ok with that, too, personally: it’s your own foot you’re shooting.