mcshicks

8 ms·

31.
by mcshicks 2y ago
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
32.
by mcshicks 2y ago
Jets and Sharks! https://github.com/acmiceli/IACModel
33.
by mcshicks 2y ago
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.
34.
by mcshicks 2y ago
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 d
35.
by mcshicks 2y ago
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.
36.
by mcshicks 2y ago
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.wikiped
37.
by mcshicks 2y ago
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 cond
38.
by mcshicks 2y ago
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... ).
39.
by mcshicks 2y ago
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
40.
by mcshicks 2y ago
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 t
41.
by mcshicks 2y ago
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 reall
42.
Mathmatics in Lean(leanprover-community.github.io)
1 points by mcshicks 3y ago|0 comments
43.
by mcshicks 3y ago
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 G
44.
by mcshicks 3y ago
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
45.
by mcshicks 3y ago
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 bru
46.
by mcshicks 3y ago
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 ha
47.
by mcshicks 3y ago
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 fai
48.
by mcshicks 3y ago
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 th
49.
by mcshicks 3y ago
Only if you want to sell it.
50.
by mcshicks 3y ago
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 ea
51.
by mcshicks 3y ago
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.
52.
by mcshicks 3y ago
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
53.
by mcshicks 3y ago
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.
54.
by mcshicks 3y ago
Interesting my city, Encinitas in the US, banned it to reduce green house gas emissions. https://www.encinitasca.gov/government/departments/developme...
55.
by mcshicks 3y ago
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
56.
by mcshicks 3y ago
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
57.
by mcshicks 3y ago
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 th
58.
by mcshicks 3y ago
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
59.
by mcshicks 3y ago
assemblies and microcontrollers I suppose then.
60.
by mcshicks 3y ago
assemblies

More ›