What do you mean not serious? He’s developing visual aids to teach students and to accompany his mathematical research papers. Also, not in this post, he’s been actively using LLMs to do real math research, that is, to…
Thank you and yes, I agree! It's neat to use the binomial theorem to see this, because that's the tool the article uses for the main trick/insight it's explaining.
I love complex analysis, and that's the branch of calculus that is most associated with number theory. For example, it was critical in the original proof of the prime number theorem and Dirichlet's theorem on primes in…
I've had a similar experience with Apple Store employees many, many times: I walk in and vaguely describe what I want, and they steer me to the cheapest item they sell that could possibly meet my stated requirements.…
Maybe you mean it's a crime to professionally provide advice of this nature without a license? It is generally not a crime to casually provide advice of this nature without a license. For example, if my friend tells me,…
As you say, "the fundamental theorem of algebra relies on complex numbers" gets to the heart of the view that complex numbers are the algebraic closure of R. But also, the most slick, sexy proof I know for the…
You can think of it as returning an equivalence class if you like. Then it's single-valued. More explicitly, it returns an equivalence class whose members are complex numbers that differ by integer multiples of 2*pi*i.…
One technical point about resonance: the fourth-power law only applies when the driving frequency (i.e., the frequency of visible light) is far below the resonant frequency (which is in the UV region of the spectrum).…
For those who don’t know: the film City of God is based on this, and it’s a great movie. One of my all-time favorites. The directing, acting photography and storytelling are all very well done. Worth anyone’s time.
> The money goes to the investors who sell. The investors who sell are wealthier by amount $X because now they have fewer shares and more dollars. The investors who don't sell are wealthier by the same amount $X because…
Three things: 1. From the perspective of shareholders, and for the moment ignoring taxes, buybacks and dividends are exactly economically equivalent. If a dividend happens, you get some cash. If a buyback happens, the…
This is great! Lovely to see a clean new codebase implementing quantum chemistry algorithms like Hartree-Fock. I remember using Molpro at my fist job. Venerable and comprehensive it may be, but it is some hoary Fortran…
I actually visited that link, and the answer seems to be "If you've seen my socials lately, you might have seen me talking about Ralph and wondering what Ralph is. Ralph is a technique. In its purest form, Ralph is a…
Thanks dang, you’re right, I apologize and will keep this in mind in the future.
This is so poorly written. What is "Ralph"? What is its purpose? How does it work? A single sentence at the top would help. The writer imagines that the reader cares enough to have followed their entire journey, or to…
Many tools offer offline file browsing and full text search. Anything from midnight commander to Alfred to ripgrep. I think the valuable and difficult thing is high quality, fast, offline semantic search, including…
Won’t this only work when connected to the internet? So I can’t use it on a flight. Or if I work in finance, or healthcare, or law, or government, or a hardware design company, I don’t want my files leaving my network.…
I don't think it's that silly. BusyBox packages a bunch of utilities in a single binary. It amortizes fixed costs: a single binary takes less space than 30 binaries that each do one tiny thing. These are small bits of…
Thanks, I’ll take a look. I love obsidian for the same basic reason you do: it’s just a bunch of text files, so I can use terminal tools and write programs to do stuff with them. So far I mostly use LLMs to write the…
What you’re solving with Claude Code. All I could gather was … something with your notes. Would you mind clearly stating 2-5 specific problems that you use Claude Code to solve with your notes?
I'd love to learn more about this. What resources/books/articles/code can I look at to understand this more? Or, if you have some time, would you mind expanding on it? The parts I'm specifically interested in: 1. What…
> In reality what happens is that software which has at any point cared about being portable doesn't use them. I don't think this generalization is actually true. Fast portable software compiles conditionally based on…
> Last weekend I’ve made a simple CLI tool for myself to help me manage my notes it parses ~/.notes into a list of notes, then builds a tag index mapping strings to references into that list. Straightforward, right? Not…
I use https://github.com/nikitabobko/AeroSpace and it works great! After 15 years of using ratpoison, xmonad and i3 on Linux machines at work, I finally have a palatable macOS personal laptop.
Sureness is most certainly a word! It has been used by writers of the stature of Emerson ("the law holds with equal sureness for all right action") and Edith Wharton ("“The moment the reader loses faith in the author’s…
What do you mean not serious? He’s developing visual aids to teach students and to accompany his mathematical research papers. Also, not in this post, he’s been actively using LLMs to do real math research, that is, to…
Thank you and yes, I agree! It's neat to use the binomial theorem to see this, because that's the tool the article uses for the main trick/insight it's explaining.
I love complex analysis, and that's the branch of calculus that is most associated with number theory. For example, it was critical in the original proof of the prime number theorem and Dirichlet's theorem on primes in…
I've had a similar experience with Apple Store employees many, many times: I walk in and vaguely describe what I want, and they steer me to the cheapest item they sell that could possibly meet my stated requirements.…
Maybe you mean it's a crime to professionally provide advice of this nature without a license? It is generally not a crime to casually provide advice of this nature without a license. For example, if my friend tells me,…
As you say, "the fundamental theorem of algebra relies on complex numbers" gets to the heart of the view that complex numbers are the algebraic closure of R. But also, the most slick, sexy proof I know for the…
You can think of it as returning an equivalence class if you like. Then it's single-valued. More explicitly, it returns an equivalence class whose members are complex numbers that differ by integer multiples of 2*pi*i.…
One technical point about resonance: the fourth-power law only applies when the driving frequency (i.e., the frequency of visible light) is far below the resonant frequency (which is in the UV region of the spectrum).…
For those who don’t know: the film City of God is based on this, and it’s a great movie. One of my all-time favorites. The directing, acting photography and storytelling are all very well done. Worth anyone’s time.
> The money goes to the investors who sell. The investors who sell are wealthier by amount $X because now they have fewer shares and more dollars. The investors who don't sell are wealthier by the same amount $X because…
Three things: 1. From the perspective of shareholders, and for the moment ignoring taxes, buybacks and dividends are exactly economically equivalent. If a dividend happens, you get some cash. If a buyback happens, the…
This is great! Lovely to see a clean new codebase implementing quantum chemistry algorithms like Hartree-Fock. I remember using Molpro at my fist job. Venerable and comprehensive it may be, but it is some hoary Fortran…
I actually visited that link, and the answer seems to be "If you've seen my socials lately, you might have seen me talking about Ralph and wondering what Ralph is. Ralph is a technique. In its purest form, Ralph is a…
Thanks dang, you’re right, I apologize and will keep this in mind in the future.
This is so poorly written. What is "Ralph"? What is its purpose? How does it work? A single sentence at the top would help. The writer imagines that the reader cares enough to have followed their entire journey, or to…
Many tools offer offline file browsing and full text search. Anything from midnight commander to Alfred to ripgrep. I think the valuable and difficult thing is high quality, fast, offline semantic search, including…
Won’t this only work when connected to the internet? So I can’t use it on a flight. Or if I work in finance, or healthcare, or law, or government, or a hardware design company, I don’t want my files leaving my network.…
I don't think it's that silly. BusyBox packages a bunch of utilities in a single binary. It amortizes fixed costs: a single binary takes less space than 30 binaries that each do one tiny thing. These are small bits of…
Thanks, I’ll take a look. I love obsidian for the same basic reason you do: it’s just a bunch of text files, so I can use terminal tools and write programs to do stuff with them. So far I mostly use LLMs to write the…
What you’re solving with Claude Code. All I could gather was … something with your notes. Would you mind clearly stating 2-5 specific problems that you use Claude Code to solve with your notes?
I'd love to learn more about this. What resources/books/articles/code can I look at to understand this more? Or, if you have some time, would you mind expanding on it? The parts I'm specifically interested in: 1. What…
> In reality what happens is that software which has at any point cared about being portable doesn't use them. I don't think this generalization is actually true. Fast portable software compiles conditionally based on…
> Last weekend I’ve made a simple CLI tool for myself to help me manage my notes it parses ~/.notes into a list of notes, then builds a tag index mapping strings to references into that list. Straightforward, right? Not…
I use https://github.com/nikitabobko/AeroSpace and it works great! After 15 years of using ratpoison, xmonad and i3 on Linux machines at work, I finally have a palatable macOS personal laptop.
Sureness is most certainly a word! It has been used by writers of the stature of Emerson ("the law holds with equal sureness for all right action") and Edith Wharton ("“The moment the reader loses faith in the author’s…