I was trying to understand how this could be used for flights. I've seen either having to enter your last name and seat, or loyalty plan number to get in-flight wifi. Are there really airline wifis that give every mac address a free amount of time?
A lot of airlines now offer free "messaging" - usually just text on common messaging apps like WhatsApp. I've been meaning for years to write some kind of server that could give me useful functionality over chat messages.
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.
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.
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
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
In his interview yesterday he mentioned that he won his weekend golf tournament. Of course he did, otherwise it wouldn’t be newsworthy (still isn’t, but oh well).
Then he asked the reporter if she saw that he won. I think he asked twice.
I look at that simple interaction as the most accurate model of his behavior. Are people talking about me? Good. Why aren’t people talking about me? I need to do something to make sure they do. He may very well have actual intelligence but it doesn’t seem obvious that it is the catalyst of anything he does.
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.
I don't have a program at the moment. The layout I currently use is in the codebase, starts here: https://github.com/akavel/clawtype/blob/96980f68427eb1089112... Personally, I just edited this layout description into a more compact form and printed it on a sheet of A4 paper as a cheatsheet. I do intend to make this aspect more scriptable, but didn't get to it yet.
For learning, I personally just try to slowly code simple hobby things in vim, with the cheatsheet in the other hand... I tried to make the layout relatively intuitive wherever I could. I also patiently went through all the possible combinations of presses, and tried to group them into categories of easy<->medium<->hard<->impossible, then tried to put esp. the more frequently used keys on the easier combinations/chords.
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.
"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