Viewing profile — l__l

This oughtn't be super surprising, even the DE comment at the end - people do just have bits of maths they gel with more than others! Even so, CT is not easy to motivate without a …

I'm surprised to see no mention of topos theory in this page? The sense in which category theory is a generalisation of set theory is pretty weak imo until you bring in concepts li…

I know it varies by topic, but my experience asking ChatGPT about things I already know about (eg a smattering of topics in algebra) was bad. Like, bad bad. It got the intuition co…

Not commenting on whether it's good/bad, but I think it's completely different to your examples. Both of those say "here is context of my past achievements; this is an indication t…

Last I checked this was opt-in on Android; it's been default on iOS since I think 2017ish?

I remember using this site for checking my work in a number fields course years ago; I never realised it had so much more Very weird seeing this on the front page

That's not the best way to view it. You can prove it by showing that for an n-dimensional disc, there is no contraction to its boundary; which I think is a bit more illustrative of…

Cool! I love collections like this :) A 10-min format and sort (alphabetical or chronological) would make this so much more scanable though

Absolutely. In cities which are equipped for it, the small self-driving vehicles make so much more sense, for this reason. Starship ( https://www.starship.xyz/ ) have been running …

If anyone is yet to see it, Tantacrul (on youtube) is now deeply involved with MuseScore (UX lead or similar?); he put out an awesome vid on the design of MS4 at the beginning of t…

I honestly don't know. This might be a skill issue on my part (very much not an educator), but I think of it as a language for thinking about structural abstraction, so to me the q…

This is my field :) Category theory is about connecting the dots between different areas of maths. The "general application" is to allow you to reason over the structure of a probl…

This makes the same mistake being called out in the comment you're replying to. The point isn't about the mechanics of solving a differential equation, it's about gathering the int…

Not a solution but FWIW, in my time working at Apple, they encouraged you to log in to work devices with your personal ID (with the expectation you don't allow files to sync). Ther…

And Exponential Idle!! https://conicgames.github.io/exponentialidle/

Honestly I just think the concept of Son/Radarr doesn't translate well to music, I find Lidarr fiddly in general. In particular I'd add to your list that the overnight scans to upd…

I'm don't think this dichotomy is at all fair. Just because someone makes a piece of software public does not mean they want it freely copied, and I think that can be a completely …

The point here is that this isn't some example from a textbook or even stack overflow, but licensed pieces of work with all the legal complications that come with that. This is abo…

Even from this page there appears to be a fair bit missing. E.g. one of the biggest UK gov orgs is @alphagov (~1.6k repos), which I can't seem to see on your dash?

> Today's developers didn't learn binary before learning Python, why should you learn how to code without the most modern tools? This phrasing makes me wary. There's a difference b…

I genuinely think this is a UK/US thing (limiting to those countries because that's the limited experience I have); in the UK this is absolutely true. There is a definite cultural …

Well this is wildly wrong. Scales, arpeggios, etc. are taught not just for the theoretical understanding they help with but because they occur VERY frequently in actual pieces

Sure, but they also take an extraordinary amount of money from taxpayers. Also, there are issues over whether they own everything they make money from (e.g., properties, and recent…

I absolutely love Xmonad, and I'm very impressed by how easy its architecture makes it to get complex changes to your environment off the ground. It's a godsend in terms of interfa…

Huh? This isn't making a lot of sense to me. Why do you say the rationals aren't much better then floats? In situations like this surely we absolutely want to be working in the rat…