mcshicks

It is Kevin Buzzard. It's kinda small font on my phone but if you look at the "about xena" link it says it's his site.

There have been bills in the past like "The improved digital identity act of 2023" that never get out of committee. The latest incarnation seems to be "H.R.7270 - Stop Identity Fraud and Identity Theft Act of 2026". There almost always have one republican and one democratic sponsor. But they don't seem to rise to the level of urgency to get past the current dysfunction in congress.

https://www.congress.gov/bill/119th-congress/house-bill/7270...

They seemed to have missed peter turchin

"In 2010, Turchin published research using 40 combined social indicators to predict that there would be worldwide social unrest in the 2020s"

https://en.wikipedia.org/wiki/Peter_Turchin

Surprised there was no mention of brief. That was my favorite editor for programming for a while.

https://en.wikipedia.org/wiki/Brief_(text_editor)

Pretty sure it will work on JAL at least right now. They just asked for an email. But it was also a new service so maybe to wanted people to try it. It occurred to me at the time that two devices with two emails should work for twice as long. For what I wanted to do on that flight, i.e. check and send a few messages the one free hour was fine. But yeah of course they could change it so that would not work.

I think the name refers to the limits some airlines have. JAL for instance offers one hour free on some flights.

In the US there is a bill that's been floating around Congress for a while called the improving digital identity act.

https://www.congress.gov/bill/118th-congress/senate-bill/884...

You can run the model for free on openrouter.ai. I have played around with lean, slowly working my way through mathmatics in lean. I was stuck on this problem in section 3.6

theorem convergesTo_unique {s : ℕ → ℝ} {a b : ℝ} (sa : ConvergesTo s a) (sb : ConvergesTo s b) :

For fun I tried it on the free model on openrouter.ai. Got the answer the first time.

https://leanprover-community.github.io/mathematics_in_lean/m...

Here's the answer just to give you a feel.

  by_contra h
  have h₁ : a ≠ b := h
  have h₂ : |a - b| > 0 := by
    apply abs_pos.mpr
    exact sub_ne_zero.mpr h₁
  -- Use the definition of convergence to find N₁ and N₂
  have h₃ := sa (|a - b| / 2) (by linarith)
  have h₄ := sb (|a - b| / 2) (by linarith)
  cases' h₃ with N₁ h₃
  cases' h₄ with N₂ h₄
  -- Choose N to be the maximum of N₁ and N₂
  let N := max N₁ N₂
  have h₅ := h₃ N (by simp [N, le_max_left])
  have h₆ := h₄ N (by simp [N, le_max_right])
  -- Derive a contradiction using the triangle inequality
  have h₇ : |s N - a| < |a - b| / 2 := by simpa using h₅
  have h₈ : |s N - b| < |a - b| / 2 := by simpa using h₆
  have h₉ : |a - b| < |a - b| := by
    calc
      |a - b| = |a - s N + (s N - b)| := by ring_nf
      _ ≤ |a - s N| + |s N - b| := by
        apply abs_add
      _ = |s N - a| + |s N - b| := by
        rw [abs_sub_comm]
      _ < |a - b| / 2 + |a - b| / 2 := by
        linarith
      _ = |a - b| := by ring
  linarith

That's so funny I had to check something was working with an llm API last night and that's what I asked it, but just in jest.

I find the most consistent explanation for Donald Trump is he does whatever is going to keep himself the top news story in the media. I don't think there's any deeply held belief other than if he doesn't think people are talking about him that's bad

Silicon Valley meets Bret Easton Ellis and Less than Zero.

https://en.wikipedia.org/wiki/Less_than_Zero_(novel)

I was going to say I have a old twiddler 2 (wired usb). There was this program I used to learn called "twidor" that was like a type tutor but had graphic that showed you the chords. Really helpful. I didn't see anything like that in the github repository linked in the video. I guess they are up to twiddler 4 now. I read the linked chordite page and I agree that a problem with the twiddler is you are kind of trying to hold the thing steady so you can chord with the same fingers you chording with.

https://wearables.cc.gatech.edu/projects/twidor/screens.html

I don't know, it's hard for me to know what the author means by "fundamentals". I looked at the table of contents from the amazon website, and somethings that I consider pretty fundamental like Thevenin's Theorem didn't seem to be listed there. By comparison it's in Chapter 1, page 9 on my copy of "The Art of Electronics". I'm not trying to knock the book, it could be very handy, but I would use the term "basics" as opposed to "fundamentals" to describe the content as I understand it.

I have a twiddler and tried doing this a long time ago i.e. emacs with a twiddler. For me I really needed to use a sticky cntl and alt key because I just couldn't press the cntl button on the top and chord at the same time. And I couldn't figure out how to make the sticky cntl work on the phone. But that was a very long time ago. Now I just use a mini bt keyboard and termux to run emacsclient over ssh and that's good enough for what I want.

My org capture template from bernt Hanson's website clocks in and out giving you a timestamp. There is a "note" capture type.

https://doc.norang.ca/org-mode.html

Tailscale, ssh and emacsclient in terminal mode makes it pretty easy to access and update notes from different machines without syncing by just say leaving your main laptop on and connected to the Internet and using emacs daemon. If you have sshd running on all the machines you can use tramp to move files around or use git or many other tools. The trickier part is using emacs key bindings on say android. Read only sharing with PDFs works fine. Co editing is impossible :).

Honest question. What's happens to Microsoft's investment then?

Exactly what I want know! A non profit is a corporation for public benefit. They bylaws state how the board gets elected, but there is no such thing as voting shares. So there is no owner. When you close a non profit you have to disperse the assets to another entity that supports the non profits mission statement.

I guess it matters how long it is and if you need to know it exactly, and how long you need to retain it. I had to memorize 50 to 100 word phrases and I chained them together with index cards. The first sentence is the cue for the second, the second for the third, etc. Carried them around in my pocket in order and started from first a few times a day until I could do the whole thing. But I only needed to know it exactly for a few weeks usually.

Maybe if you are a non profit based in CA. There's probably some other corner cases I'm not aware of, like it might be simpler in some cases like an LLC for holding family property, etc.

It means the child of a first cousin. I'm a native speaker of English and I find the phrase confusing also.

I use this one seems to do what I need. It's pretty easy just to Google the cli case.

https://github.com/sameerdhoot/wolweb

Hey I'm a long term emacs/org mode user. This look super interesting, one quick suggestion, even though I'm confident I can make the installation instructions work, a lot of people just install packages from melpa, i.e. list-packages, cntl-s to find in melpa and then install. I know there's a lot of advantages to some other methods, but people pick and choose where they want to learn the new way or stick with old tried and true way. Again at first glance it looks super interesting.

Like this

https://www.congress.gov/bill/118th-congress/senate-bill/884...

I used to be into lucid dreaming, a pretty long time ago. I stopped mostly because in order to reliably enter them and remember the dreams just involved too much stuff that messed with me getting enough sleep. But I did read one of Stephen LaBerge's books on the subject. I'm pretty sure it was "Exploring the World of Lucid Dreaming", but I'm not certain it was that one. But it definitely mentioned sex in dreams as a motivation, at least early in his practice. So I certainly don't think your the first or only person who's had that thought.

The set theory game on the same site it also fun

https://adam.math.hhu.de/

Another one is mathematics in lean

https://leanprover-community.github.io/mathematics_in_lean/

It's a text book with many examples for you to try. There are sample solutions which if you get stuck (which I often do) you can take a peek for some help. I actually just grep the solution file -A1 , -A2 etc to peek at the solutions one line at a time

Example problems and solutions

https://github.com/leanprover-community/mathematics_in_lean

Jets and Sharks!

https://github.com/acmiceli/IACModel

I use a pot in a pot for 12 minutes and it's ok. I use those stacking metal pots you can get at an Indian food market. I also have an old rice cooker. The convience of the instant pot is I can set a 30 minute delay to soak the rice. The newer rice cooker my mother in law has in Japan does the delay and has lines on the inside of the non stick pot to measure the water so it makes pretty good rice every time.

I'm a little confused by your comment

For me are three distinct things

Japanese curry Japanese style of the Indian dish often made from an instant roux package and usually served over Japanese style white rice

Katsu Curry the same dish with a deep fried pork or chicken cutlet put on the the rice before the curry is poured over

Curry rice - no cutlet, the curry is mixed in with the rice before it's served.

Oh that's so funny that is a real thing I thought it was a joke about the fictional reticulum computer network from the Neal Stephenson novel Anathem.