Viewing profile — eggy

[flagged]

Wow, I never saw this! I like APL/J/Uiua, so this is perfect. Uiua is both stack and array based. Thanks!

Cool, and I love the retro font. I had a Vic-20 (early 80s) and Commodore PET 2001 (1977) I am learning Odin, and I was going to try creating live coding environment with scripting…

I picked up a book around 1977 on the PDP-11 processor and worked my way through it with pencil and paper to understand the architecture when I was around 13. I saves up my summer …

Why did you choose F# over OCaml? I am in the same boat and evaluating both. Mainly systems programming, applications, etc.

A great tech book on symbolic computers in general and Lisp machines, is Peter Kogge's 1991, "The Architecture of Symbolic Computers". I believe new efforts by people like Yann LeC…

For me, vigorous exercise, riding my bike, running, jumping rope, has always made me feel better mentally and physically whether it was a pathogen funk or just life and feeling dow…

Yes, and AdaCore's tooling is formally verified and produces reports already familiar to aerospace, railway, and auto auditors for verifying certifications making it attractive to …

We passed on Rust for Ada/SPARK2014 to write to bare metal on Cortex-M processor for real-time, high-integrity, and verifiable mission-critical software. Rust is making strides to …

Everytime I start jumping rope after a long break like Winter. It immediately starts trending lower a few points in 3 to 4 days, and plateaus after 6 weeks or so. I've averages as …

For sure, and that makes MINIX the most widely used consumer OS!

From my comment below, we used Betamax back in 1982 for film class and would go back to editing it on a tape-to-tape deck, so starting with Betamax vs. VHS meant you had less degra…

Yes, but you're forgetting editing wasn't digital/digitized. You would copy from one tape to another, so a degradation issue. It's not the TV's capabilities, but if you started wit…

I'm going to download and check out Mine and Coalton. Right now, I use Neovide and Lem interchangeably. However, I am in deep with Shen. I bought a hardcopy of The Book of Shen, 5t…

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, …

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…

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 …

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 suc…

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 othe…

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 progra…

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 …

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…

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 arachn…

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 abstr…

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 Syste…