philip-b

Where are the theorems and the proofs? Can the usual theorems of the "year of linear algebra" be proved using these arrows?

however, according to Reddit, there’s a number of people who want to be left alone and can be irritated if you interrupted their workout to talk.

My suggestion would be not to read social advice on public websites on the internet, especially on Reddit, because per public internet, everything is not okay/forbidden, everyone should mind their own business, choose the safest and the most inoffensive action in every possible social situation. Public places such as reddit are full of terminally online socially awkward people who are very unrepresentative of people in real life. Also, there are incentives to recommend the safest course possible because then you won't get downvoted by haters. I don't even say to take advice there with a grain of salt. I say it's probably better not to read such stuff because your brain might subconciously internalize that people think like this even though actully, in real physical world, it works differently.

The compile time is 50 times faster, not the runtime.

I heard about this game many many times due to software developers showcasing it as an example of a good libre videogame. However, I don't know a single person who played it and I have never seen anyone recommending it for its gameplay.

The real reason Valve are being the "good guys" at the moment

Ok, but this “at the moment” has lasted at least since 2011. Basically my whole adult life Valve gas been a pretty great company delivering value and not being annoying.

So, can I make it that when I click a URL in another program, Firefox would ask me which profile to use?

No, it's vice versa. If two wind instruments play unison slightly out of tune from each other, it will be very noticeable. If the bass is slightly out of tune or mistakenly plays a different note a semitone up or down, it's easy to not notice it.

Is there such a thing for Spanish?

I disagree with (1) and (3). I think for a novice bending low notes is more difficult. For me the easiest note to bend was hole 6 on a C harmonica. Also, I don't think wood vs plastic matters for how easy bending is.

When I was learning bending, I like the app "Bending Trainer" available for both Android and iOS, with a blue on black icon

the model that everyone says are the best

Is that airpods, or Bose something, or Sony something?

My list of calm (+), somewhat calm (o), and non-calm (-) pieces of technology that I have owned:

+ kindle from 2010 - laptop - phone - Ipad (but it's still much calmer than my computer or my phone) + Harmonica (musical instrument) o Amplifier (I use it with my harmonica through a mic) - Linnstrument (musical instrument that requires computer or ipad connection) + Pencil and paper + Paper books o Handwritten notes on Ipad - Notes in obsidian o Nintendo Switch + Paper dictionary (for language learning) - Dictionary + Claude AI on my phone

I've owned a switch for 5 years and never had any problems with joycons

This is useful, thanks. I should've done it on my own. And checking the consistency of passes would be a good idea too. If you don't mind, I'll update my blog post to include your overlaid image.

Do different DACs frequently sound different? I would expect that it's audiophile's fairy tales.

Do you know if the same is true of iPads and if there is a program like Spectroid for iOS?

I read it 2 years ago while I was sick with COVID. It was a lot of fun, it was pretty easy, but also very interesting. It was not a big time commitment. I learned a lot about dependent types. I recommend it.

Does any one of the top models have access to the internet and googling things? I want an LLM to look things up and do casual research for me when I’m lazy.

Are you ChatGPT?

Etsy does not allow items bearing sexual language or slogans that contain references to familial relationships. This includes slogans such as “Daddy’s slut” or “Choke me Mommy”.

Hahaha! But also, oh my god, why? Why do you do this, Etsy?

Where do I get this HDTV rip?

If only my browser showed, for each link that leads to a website with an annoying cookie banner, a small icon indicating that that's the kind of website the link leaves to. Can someone make a browser extension like that?

Sure, let's break down the Python implementation of the Power Iteration algorithm into smaller steps:

I think this was generated by ChatGPT.

`1RB2RA1LC_2LC1RB2RB_---2LA1LA` - how do I read this?

I am confused. Isn't Jupyter Lab the same as Jupyter Notebook but also with a file chooser and some extra functions? I don't care a lot which one I'm choosing. I always open Jupyter Lab because it has some very small neat additions. Why would I want to want to use Jupyter Notebook without the Lab interface around it?

I have 3 questions.

- How is your search in languages other than English and local to countries other than the US and Europe? In particular, I am interested in Russian and Turkish. I remember that previously (a year or two ago) it was not very good. Also, does your GPT based search work for other languages?

- How is phind.com related to kagi? I remember that at some point, I was searching for something on phind and got an error saying that Kagi is out of capacity or something like that.

- What underlying search providers do you currently use?

Why does it say that it has no answer to most of my questions?

Tbh I think that prompt is spot on.

Reading math textbooks typically involves solving a lot of problems, so you saying it like it's books OR problem solving doesn't make sense.

I think there's either a mistake or a very very large omission here. It starts here:

This is looking better! We have an amazing function, is_statement_true, that can tell us whether anything is true or false, given enough time!

Read it through, and try to prove to yourself that is_collatz_true really does eventually return the truth of the Collatz conjecture.

Namely, I think the author confuses Lean theorems and metatheory theorems, where when I say metatheory, I mean the language and the system we use to talk about lean, about Godel's incompleteness theorem, and everything else - basically, the English-math language in which the chapter is written. Hence, it's wrong to say that is_statement_true can tell us whether any statement is true - it can merely tell us which of the two options it is: the statement is a theorem of Lean or its negation is a theorem of Lean. Same for is_collatz_true - sure, it must tell us what Lean thinks about the Collatz conjecture but doesn't tell us anything about the truth or falsity of the Collatz conjecture.

And finally, in the very end of Chapter 2, this problem arises as well. The chapter says that if Lean is sound and complete, then we can define a function which, for any Turing machine, returns one of two options: Lean thinks it halts, or Lean thinks it doesn't halt. But we haven't proved that what Lean thinks about that had anything to do with whether it actually halts or not.