eggy

6 ms·

31.
by eggy 6mo ago
A delta of 3 bpm on sauna days corresponds to around 4% delta if the baseline is 72 bpm. I've gone from a resting heart rate over a 7-day average of 64 bpm to 58 bpm by jumping 15 min. of rope a day, 4 times a week. I've lost weig
32.
by eggy 6mo ago
Since it's not a battery storage setup, the energy being sent into your home circuit alleviates demand by a small amount. Where did they come up with 10 to 25% savings? Factors such as an optimal view of the sun for as much as possible
33.
by eggy 6mo ago
Correct, not millions of Demodex mites, which are usually in the hundreds to thousands on a typical, non-infested human. The millions should be the general amount of mites and other symbiotic/parasitic on and in your body. Thanks!
34.
by eggy 6mo ago
Yes, and I think it's important to highlight that Iverson would write APL on chalkboards and paper when working on math at times. I am sure some people here can hand write a program, but it seems so much more akin to writing math. I am
35.
by eggy 6mo ago
Yes, a strong argument, and staying in a line of PLs: F# for high-level, and F* <-> Low* for theorem proving and low-level coding. I am evaluating F /Low for verified code on Cortex M processor that I am currently trying to writ
36.
by eggy 6mo ago
Looks great! Nice work. I am steeped in CAD for my work flow, so I used to program AutoCAD in AutoLISP, Rhino in Rhinoscript, now F#, and FreeCAD in Python as well as Blender. They have the geometry engines built-in and tested over decades.
37.
by eggy 6mo ago
Agreed. When you zoom in, even the normal life stuff can give you concern. I showed my kids what creatures live on their and others' bodies. You have millions of microscopic arachnids called Demodex mites living in your hair follicles
38.
by eggy 6mo ago
I have loved math since I was a child, and I think it depends on when you grew up and how steeped you are in reality vs. the virtual or the computer world, and how much of an abstract vs. concrete thinker you are. I was always making things
39.
by eggy 6mo ago
Some related good books I have been studying the past few years or so. The Spark book is written by people who've worked on Cube sats: * Logical Foundations of Cyber-Physical Systems * Building High Integrity Applications with S
40.
Amazon ending support for older Kindles(techcrunch.com)
2 points by eggy 6mo ago|0 comments
41.
by eggy 8mo ago
I am teaching myself Arm assembly for the M-series of processors, M-4 for now. I have been playing and using J (jsoftware.com) since 2010, and I have to say that as much as the higher abstracted languages and programs become, I still love t
42.
by eggy 8mo ago
A lot of effort under Biden was to make diinformation a big push and they offloaded work to third parties, so I'd be curious to know how many of the firings or resignations came from the government being pulled away from censorship in
43.
by eggy 8mo ago
There was significant awareness and negative sentiment toward advertising long before Marshall McLuhan became prominent in the 1960s. Some of the stuff from 1900 to 1930 is interesting. I realize there is a lot at work here with multi-facet
44.
by eggy 8mo ago
I think I would have left much sooner if I were there. Iran has claimed this January to have tested a 10,000 km ICBM with Russia allowing it to fly towards Siberia. This puts NYC and East Coast possibly within range. The claim has not been
45.
by eggy 8mo ago
I'm skeptical about banning design patterns just because people might overuse them. Growing up, I had to go to the theater to see movies, but that didn't make cliffhangers and sequels any less compelling. Now we binge entire Netfl
46.
by eggy 8mo ago
I've been coding since the late 70s (Commodore PET 2001), and I've always paired it with real-world physical work—mechanical engineering, rigging, technical diving, hydraulics, welding, electronics, controls, you name it. Programm
47.
by eggy 8mo ago
nobody shouts in lowercase—it whispers its way into being, a small insurgency against The Proper Way To Speak ; ) -- inspired by e.e. cummings!
48.
by eggy 8mo ago
Except selling the printers as plain printers without any restrictive AI firmware or other has a thorny abstraction layer in between that and convicting someone of actually making firearms and selling direct. The printers are universal mach
49.
by eggy 8mo ago
I built an 8'x4' CNC router table in 2004. I bought rack and pinion, steppers, drives, aluminum extrusion, and I had it built in one week. What would stop someone from building their own printer and building and selling printers t
50.
by eggy 8mo ago
I cook whole-grain, hulled Barley for an hour and put it some beef bone stock we make at home, or add it to my wife's Soto Ayam (Indonesian chicken soup). Barley evidently has more fiber and is a bit more effective than oatmeal. It als
51.
by eggy 9mo ago
Do you the think the EU and its individual country members from 1949 to present carried their fair share of the NATO spending ($55 to $60T), or troops and equipment deployments, or did they "default" on their side of the treaty? T
52.
by eggy 9mo ago
It's not like the EU can go to China for the $64 to $94bn in mineral fuels and oils (LNG, crude oil) they import from the U.S. Or the aerospace products and parts $35-46bn they import. Or the $45-$52bn in pharmaceuticals and medicines
53.
by eggy 10mo ago
I agree, and even if a company doesn't give back, they further the popularity and sustainability of the project. Isn't Python an MIT-like license (PSFL)? As well as React and Godot? And Tensorflow is also permissive with Apache 2.
54.
by eggy 11mo ago
Thanks for the information and link. I was, however, being facetious and making puns (slide rules!)
55.
by eggy 11mo ago
The point was how would you justify choosing Rust based on any real world proof. Maybe it will be ready in a few years, but even then it is far from achieving what you already have in SPARK along with proven legacy. I am very familiar with
56.
by eggy 11mo ago
If you were right, then people should not be using Rust or C/C++. They should be using SPARK/Ada. The SPARK programming language, a subset of Ada, was used for the development of safety-critical software in the Eurofighter Typhoon
57.
by eggy 11mo ago
I totally agree. In reality, today, if you want to produce auditable high-integrity, high-assurance, mission-critical software, you should be looking at SPARK/Ada and even F* (fstar). SPARK has legacy real world apps and a great eco sy
58.
by eggy 11mo ago
And when the EMP washes over your home/office it will most likely be off and most likely survive. If you are doing your monthly finances at the time and it is on, it will be destroyed. The slide rule rules!!! I keep a pocket Pickett fo
59.
by eggy 11mo ago
I get the small weight on a top analogy. The sea rise is due to the water entering the ocean after use. My thought is if the earth tilts a bit, doesn't the high tide or bulge line shift too? So some areas will see lower tides and other
60.
by eggy 11mo ago
Don't forget this list of expectations for SPARK [1] too, if you want even safer, high-integrity, and formally verified code on Android! [1] https://www.adacore.com/about-spark

More ›