mcshicks

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.

Fun fact for those of you in California and some other states in the US. AIM was founded by one of the founders of Fry's electronics, John Fry.

https://aimath.org/about/history/

https://en.wikipedia.org/wiki/Fry%27s_Electronics

Had a pretty close childhood friend choose assisted suicide (in California) a few years ago after a year long battle with blood cancer. It's not easy to do, I think his biggest fear was losing his ability to consent as his mental condition declined rapidly. The link below outlines the process. He was getting home hospice care staying at an Aunt's house hear the hospital he was treated at. I don't think it is the right choice for everybody, but I certainly think in my friends case it was.

https://www.uclahealth.org/patient-resources/support-informa...

There is a bill working it's way (slowly) through the US Congress, you can write your local congressman and senators. https://www.congress.gov/bill/118th-congress/senate-bill/884...).

I think the correct answer really depends upon what you are trying to do. Sometimes where board space and cost are not an issue people use a combination of larger and smaller bypass caps to reduce switching noise. I don't think there is a one size fits all solution because people power many different types of things from USB. It's more just a caution about USB power in general. Most people know the 500mA current limit, but in-rush compliance is something you don't really see in functional testing because typically you can get away with a violation and the board will still work.

You can use inductors. Some USB cables have a choke on them. But basically the problem is when a large amount of circuitry all powers up at one when you plug in. So everything connected directly to USB 5v with a lot of large capacitors to filter the power. If you really need that then you can self power and avoid the problem.

I used to test devices for USB compliance a long time ago. One of the things I often saw problems with was the inrush current test. Basically too much bypass caps on the 5v. I didn't see it mentioned in the article. It's really easy to get focused on the high speed digital design but for compliance it's sometimes the less sexy stuff that gets you. No idea how this stuff works with newer versions of the standard but it seems like there still is a test. Nice article though.

https://compliance.usb.org/index.asp?UpdateFile=Electrical#:....

Silicon based chips rely on oxide and metal layers to connect the transistors. Not clear to me from the article how that would work for graphene based devices. This was also an issue for GaAs based chips. From the Wikipedia article on GaAs

"The second major advantage of Si is the existence of a native oxide (silicon dioxide, SiO2), which is used as an insulator"

William Gibson's novel the Peripheral (2014) and Agency (2020) have characters who control implanted smartphones (like a HUD on your eyes and audio channel built into you ears) that are controlled by using the tip of you tongue on the roof of your mouth. It's possible he was inspired by the video or some other source but yeah it's clear the idea has been around for a while.

I absolutely agree that it's not for beginners, but amateurs can still have fun. I did the NNG in lean 3 and again lean 4. It didn't take me 100s of hours but I've also spent a lot of time over the last decade trying to brush up my math skills. One of the main problems with proofs is other than having a mathematician friend who's willing to check its really hard to know if you did it correctly. My son is a mathematician and I still didn't want to ask him to check my proofs! The cool thing for me about lean is I can do some form of math proofs and not have to ask somebody if I got it right.

If you liked that you might like the natural set game as well.

https://adam.math.hhu.de/#/g/djvelleman/stg4

The author of the math book "How to Prove it" Daniel Velleman who I think did the set game also has a "How to Prove it with Lean" which is nice because the exercises correlate to the book.

https://djvelleman.github.io/HTPIwL/

I've found the lean community on zulip really open to amateurs to want to learn. I asked what I considered a "duh" type of question once I saw the answer, and the guy that helped me is kind of "the lean math" guy.

https://leanprover.zulipchat.com/

I have a graph from "Expert Political Judgement" that I've kept on a cork board for over a decade. It's from page 55 in my edition. It charts "Objective Frequency" vs "Subjective Probability" It has three curves, Experts (people in Government, paid to make political assessments), Dilettantes (people who are well read, read NYT, WSJ and the like), and College Undergrads. The Expert and Dilettante lines are more or less on top of each other. The undergrads are observably much worse and farther from the "Perfect Calibration line" that is a 45 degree line between objective frequency and subjective probability. So it's not the case that there is no difference in people's ability to predict political events, it's that so called "experts" are no better than people who follow current events closely. This was for me the main takeaway from the book, is that nobody can predict political events very well, but some groups are measurably worse than others. Tetlock has a brief section that somewhat mirrors your argument on page 186 "Misunderstanding what game is being played" where one expert tells him making predictions is all about getting your sound bite out, not about being correct. In this game, stronger, incorrect predictions might be advantageous in that they can change the narrative.

I worked with Franklin for a short while in the late 90s. He was an intimidating, if fair person. Very little tolerance for bs or people who wanted to look good. But if he asked you something and you didn't know the answer he was fair if you just said so (which I had to do on at least one occasion). Did not know he passed, or that he was involved with SETI. I remember reading in a local SD paper a few years ago that he gave quite a bit to a local charity for the homeless. He was a very independent thinker, so not so surprised that he might make some unconventional choices in how he gave away his money.

I'm not really in the market to buy a car, but I was thinking the prius prime was a good compromise. Basically it's a plug in hybrid with a large enough battery for a lot of day to day city driving (44 miles), but hybrid after that. Seems fairly low risk in terms Toyota having pretty extensive experience with hybrids.

In terms of improving the environment it would seem like not driving/using public transportation trumps any ev or hybrid anyway.

https://www.toyota.com/priusprime/

Only if you want to sell it.

My point was in the US medical inflation far outpaces all other non discretionary expenses and it's not because of the minimum wages. Minimum wages affect business that pay minimum wage and that's more like non essentials like eating out or going to the movies. I can't speak to the economics of South Africa but I'm not sure what happened there would necessarily apply in the US. At least it's not obvious to me.

Is this your opinion or can you cite some sources. My biggest mandatory expense is medical insurance and I hardly think that is driven by the minimum wage.

US minimum wage has not increased since 2009 and is $7.50. How many people in the private sector are at the same job for 14 years with no pay increases. Minimum wage at a minimum should be tied to inflation and I think $15 an hour increase over 4 years is more than fair to employers. https://en.m.wikipedia.org/wiki/Minimum_wage_in_the_United_S...

I have not tried it but is there some reason you can't simply record from an headphone jack? I thought there was some Linux app that would just do this.

Interesting my city, Encinitas in the US, banned it to reduce green house gas emissions.

https://www.encinitasca.gov/government/departments/developme...

On thing that I've read about is ear based EEG. Easier simpler contact for things like sleep studies. They don't list that as supported, but it is an example.

https://en.wikipedia.org/wiki/Ear-EEG

This looks really cool I've used beancount/fava for tax planning, but of course I had to code up my own tax models. In the US tax table change every year (by a predictable formula) and some forms of income are weird, like I bonds are exempt from federal tax, but are taxed by state income tax. It seems unlikely that you could support all the cases, but is there a straightforward way to plug in your own model? I did see in tax.go you had long term, short term, but couldn't quite find the income tax tables, like long term capital gains has different rates depending upon filing status and amount.

Having been of a record buying age at that time, I think "New Wave" was really more of a marketing term. Punk had a somewhat bad reputation at the time, 78 I would have been 14. New Wave was a way to get people to buy records that were not from big venue rock bands, i.e. Stones, Who, ELO, Kiss etc. The Police's first record was considered "punk" when I got it among my peers. Got me into more of the local LA punk bands, although I was listening the Dickies before the Police. I knew lots of people listened to Blondie, the Dickies, the Germs or Black Flag not so many. As I mentioned on the other thread I actually was at the Pantages for the talking heads show it was awesome!

I made the cardboard scanner many years ago both to scan whole books as well as sections of books from the library. It worked pretty well but nowadays in practice I usually look into the open library at the Internet archive first. Hope it sticks around.

assemblies and microcontrollers I suppose then.

assemblies