I ran Minix around 1991 on my Amiga computer. Minix had a smaller attack surface and isolation provided by its microkernel vs. Linux's monolithic kernel. I had the Minix textbook, and it was easier to think about it because of the split along modules. I personally think Minix vs. Linux was very similar to Betamax vs. VHS. Betamax was technically superior, but the market picked VHS. I may run Minix again on my old Lenovo T430u from 2012. I was amazed that some of the code to Minix was in the appendix of the book, sort of like the magazines with pages of code to hand type in games or toy programs. I guess I liked MS-DOS for the same reason: tinkering, from my PEEK and POKE back in my Commodore PET 2001 (1977) and Vic-20 days...
Wow, 160 kWh/month! My family of four uses as much as 790 kWh/month in the high-heat or very cold season, with an annual average of 650 to 700 kWh/month. We pay around 0.13 USD/kWh, however, when you add the taxes and supply charges, it actually averages out to 0.28 USD/kWh...Granted I have two younger children at home, and my wife cooks fresh meals all the time - fresh-baked breads, etc., so we don't eat out much at all. We have an electric oven, electric washing machine and dryer, and electric cooling and heating (split unit HVAC).
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 weight, body fat, and I feel like my body is more efficient with corresponding lower heart rates throughout my active day. I like saunas for recovery and aches, they put me in a relaxed state after, and I believe the dilation is flushing my system. Like anything else, moderation. Perhaps I will add sauna to my weekly routine 1x per week or less.
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, south-facing or biased East or West, would be the max. payoff. Night would be a zero net gain. At a savings of $7 a month, the panel would pay for itself in maybe 10 years not factoring in government subsidies. You need to keep it clean as well for it to maintain its potential output.
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!
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 in J daily, APL once in a while, Uiua more frequently, but J is the only one I actually write in my journal and then try it on my J phone app or when I open up my laptop. The intro books for J are great for working through math and learning J - Concrete Math for Computing in J; Easy J; Calculus; Arithmetic - https://code.jsoftware.com/wiki/Books
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 write SPARK2014. The Cortex A processor is running seL4 for less safety-critical tasks. I did look at Lean4 as a scratch for my Idris2 itch use cases.
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. I think this is good for the maker with a 3D printer to do parts that are relatively simple (not discounting parametric code to make complex shapes here). Industry needs integration of CAD, BIM, CAM, Viz, etc. Take a look at this now older (2014) project where Rhino and F# were used to design and manufacture complex geometry for a real world build: https://www.youtube.com/watch?v=ZY-bvZZZZnE
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 and sebaceous glands, particularly on your face. My wife gave me an evil look as I showed my children this fact in online vids and pics. Granted these are symbiotic/parasitic relationships of life, but still, the closer you look, the more you see!
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 in modeling clay, that greasy grey-green stuff, and so my scale was what I could make out of one brick of such stuff. I bought my first computer in 1977 (Commodore PET 2001), and the CBM ASCII set had some graphics, but nothing compared with today's graphics. My first encounter with visualization and scale was writing a program to let me know which of the four moons of Jupiter I was seeing in the sky that night. Io, Ganymede, Callisto, and Europa's orbits are almost edge-on to our view from earth, so I made Jupiter a capital O, and the moons were lowercase letters. I printed this out on a thermal printer (like a wide receipt). Cosmos was the rage on TV and I had read Einstein's Universe by Nigel Calder. I had a telescope and a microscope, so the micro and macro were very real to me. I suspect if you grew up on tablets and only built things on a 3D printer scale, you don't have that unbridled sense of the small and large except on very abstract terms. However, not a donut, not a universe-scale torus, but rather a pool donut comes to mind when I first hear torus!
I built an XYZ router table in the early 2000s out of old stepper motors. It was 8'x4', and I built stitch-and-glue wooden kayaks from the panels I cut on it. These would wind up being 16 to 22 foot long kayaks to go into the real world and have fun!
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 SPARK
* Analysable Real-Time Systems: Programmed in Ada
* Control Systems Safety Evaluation and Reliability (William M. Goble)
I am developing a high-integrity controls system for a prototype hoist to be certified for overhead hoisting with the highest safety standards and targeting aerospace, construction, entertainment, and defense.
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 the atoms and terseness of array languages and writing close to the metal. I started with Factor, gforth, and retro years ago. Something magical happens when you immerse yourself in it. Right now, I am working with KlongPy, which using the PyTorch backend along with the Klong language is amazing. I used to write assembly code for my Vic-20 back in the day and then bought the VIC FORTH cartridge for like $30 in 1982. I programmed my 1977 PET 2001 in the Commodore Basic 1.0 it came with, but there was a sys instruction for machine code! I used to write my code on an index card before typing it in and saving to the cassette recorder. Magazines had code to hand type in, so my coding was learned with reading and writing it first. I accidentally bought a hardcover book on PDP-11 programming and read the whole book before I bought my PET in 1977. Machine language.
I miss the early days of computing before the internet or Genie Online, but Echo in NYC was a blast - thanks, Stacy!!
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 league with social media as opposed to losing harscore cybersecurity professionals. Makes me want to jump back on the cybersecurity bandwagon. I think the the CISA and NSA mandate for memory-safe software roadmap is good. I'm more of a SPARK 2014 fan than Rust, but I think by 2027, I'll shift to 30% focus on Rust and see where the government contracts go. I'm building a high-integrity secure, mostly formally verified automation and controls software for a state-of-the-art portable hoist able to function in aerospace that I am also co-engineering with my partner inventor.
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-faceted attacks on the senses, but advertising was intentional too, and I am not sure if just making things illegal that are hard to educate people on is the right tack.
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 verified, but given the vitriol between the US and Iran, if they have it, and we overwhelm them with naval and air force presence, we may provoke a real world test of their claim.
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 Netflix series and that's fine, but short-form video needs government intervention?
The real question is: where do we draw the line between protecting people from manipulative design and respecting their ability to make their own choices? If we're worried about addictive patterns, those exist everywhere—streaming platforms, social feeds, gaming, even email notifications.
My concern isn't whether TikTok's format is uniquely dangerous. It's whether we trust adults to manage their own media consumption, or if we need regulatory guardrails for every compelling app. I'd rather see us focus on media literacy and transparency than constantly asking governments to protect us from ourselves.
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. Programming was just one of the tools, never the whole job.
What I've learned is that the best thinking almost never happens staring at a screen. It happens when you're away from it: reading something deep, building something with your hands, debugging why the thing you designed doesn't work in reality.
I love the updated saying: "Jack of all trades, master of none—but often better than a master of one." In a world obsessed with hyper-specialization, that range is a real advantage.
What bothers me most is how quickly people—especially younger ones—now reach for a phone the second there's any friction. Forgotten a name? Phone. Stuck on a small logic puzzle? Phone. A group of engineers at the lunch table can't remember an actor and within seconds everyone's just silently googling instead of laughing and piecing it together from their collective memory. Where's the fun in that?
Yeah, you get the answer instantly. But you skip the actual mental workout—and the fun of it. Remembering and reasoning are muscles. Use them or lose them. And honestly, the shared back-and-forth is usually the best part.
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 machines within the parameters of additive processes. Silly proposal this "blocking technology" written by people with no analytical thinking skills.
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 to others who don't have the skill set? They would make it illegal to make 3D printers or CNC machinery without a license, and if you are caught it is tantamount to making guns.
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 also tastes good with warm milk and honey like oatmeal, or simply with butter and salt. I spend the extra bucks on the Irish salted butter. Tastes creamy and yummy.
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? The US has paid 65 to 70% of the total of $1.4 to 1.5T/year from 2018 to 2025. That's 9.8T in 8 years (2018 included). Our soldiers, not theirs, carried the weight. If you go per capita, The US has spent an overage of $13 to $16T in 2025 dollars. Let's credit the account for that and see who owes who...
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 and advanced biologics (unless they go all in on generics, but this is only part of that sum). The list goes on and on. Germany trying to reboot their nuclear energy infrastructure, but it's a bit too late to help this winter, and they're the third largest consumer in the world after the US and and China. India is 8th.
The US imports a lot from Mexico, 15.5% of the total $3.36 trillion of US import, right here in the Americas. The EU about imports are about 18.5%.
Merz's mother-of-all-deals needs to have India lower its imposed tariffs on Germany of 100-150% on autos, which would cut against India if the new FTA goes through by Q2 2026.
May you live in interesting times is a wish or curse coming to fruition...
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.0, corrrect?
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 this, and I still chose SPARK/Ada instead of Rust. SPARK is already certified for all of this. And aerospace, railway, and other high-integrity app industries are already familiar with the output of the SPARK tools, so there's less friction and time in auditing them for certification. Aside from AdaCore, who collaborated with Ferrocene, to get a compiler certified I don't see much traction to change our decision. We are creating show control software for cyber-physical systems with potential dire consequences, so we did a very in-depth study Q1 2025, and Rust came up short.
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, a British and European fighter jet. The software for mission computers and other systems was developed by BAE Systems using the GNAT Pro environment from AdaCore, which supports both Ada and SPARK. It's not just choosing the PL, but the whole environment including the managers.
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 system for this type of sofware. F* is being used on embedded and in other realworld apps where formal verification is necessary or highly advantageous. Whether I like Rust or not, should not be the defining factor. AdaCore has a verifed Rust compiler, but the tooling around it does not compare to that around SPARK/Ada. I've heard younger people complain about PLs being verbose, boring, or not their thing, and unless you're a diehard SPARK/Ada person, you probably feel that way about it too. But sometimes the tool doesn't have to be sexy or the latest thing to be the right thing to use. Name one Rust realworld app older than 5 years that is in this category.
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 for fun...the window has a small crack, and it is missing a very tiny screw (1 of 8). I brought it to my engineering company one day and showed the 20-30-something group how it worked. I then did a full page of calcs they did in Excel, and even with the limits of visual resolution came within an acceptable percentage of their calc.
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 others higher tides due to an angular shift of the rotational plane?