I'm delighted this exists as all too many students have used Mathematica in their education and now can't afford it. Yet I'm always wondering why one would write an interpreter for something like this. I've used Maxima…
I've been successfully practicing programming with proof of correctness since the 1970s. The confusion I see with most people failing at this is that they're trying to write code first and then prove it correct. The…
I use formal verification as part of my development process. The needs of the proof guide the development of the code as much as vice-versa. The result is usually cleaner, simpler, smaller and usually more efficient…
I learned to read English the same way I learned to understand it spoken: exposure. As a young child a relative would put me in their lap and a book I liked in my lap and read to me. After awhile I was reading fluently…
I started with Fortran 2 which has subroutines which don't behave as black boxes. It took me months of frustrated study to understand procedure calls in decent languages as delegation. That opened up the world of…
Everything I run on servers I also run on my laptop. Occasionally I get crashes or corruption because of the lack of ECC memory. I'd also like to be able to swap parts between a modular laptop and a home/small-office…
Regulatory systems need omsbuds within the government who can ask for help and explanations from all the agencies regulating a project yet are (primarily) accountable for helping projects succeed as soon as possible and…
This technology is completely amazing - for large fleet vehicles like buses, trucks, ferries, etc. Also airplanes! Getting this so compact and refined is a technological miracle. Now put it where it fits!
Do what Linus does: Focus on code quality!
Culture is huge nested networks of memes[1] which reinforce themselves and evolve via natural selection. Their substrate is our brains. [1] https://en.wikipedia.org/wiki/Memetics
Realistic Hard SF has to deal with Accelerating Change making technology vastly powerful yet still limited. The hardest thing to write about is cognitively enhanced humans or any other entities (AI, aliens, etc.)…
I'm a geek and have shared my home with housemates for 50 years. When I was poor and when I was prosperous. When I was married and when I was not. It's almost always been good for me, including for growth in my social…
AI used to refer to the extensive range of techniques of the field of Artificial Intelligence. Now it refers to LLMs and maybe other multi-layer networks trained on vast datasets. LLMs are great for some tasks and are…
I learned to read by being read to: typically on a relative's lap with the book in my lap. They were not trying to teach me how to read, but my language centers took care of the job, just like they did for spoken…
Important quote! Citation?
When the UC sold the UCSD P-System the profiler and native code compiler were abandoned. With P-Code optimized for size and hot spots native compiled, small P-System programs ran comparably to programs fully compiled to…
The power languages of the late 1960s and 1970s were awesome! I loved APL, InterLisp, Snobol-3, Smalltalk and SETL. Turtle Graphics with a robot turtle. Writing graphics for the Evans & Sutherland Picture System was…
A Gnu/Linux phone with Android in a container using WayDroid or AnBox gives you the best of both worlds.
I regularly use my Twiddler with my Android phone. It allows me to fully operate all the applications I use on my desktop computer, e.g. Emacs. https://www.mytwiddler.com/
Different oils vary a lot in how inflammatory they are. In addition, heating during extraction and/or aging or storage conditions can lead to cross linking which makes oils very bad for health. With the exception of…
You just got a convert! Huge value in sh compatibility. Bash, not so much!
bash, ksh, zsh and a few other shells have the awesome feature that if you call them with a link named "sh" they accept Posix Bourne-shell syntax. This means you can make them your /bin/sh system shell which will be…
I didn't connect miniKanren to Scheme. I said "Host Language." I did suggest the value of a multi-paradigm host language.
Oops: s/visible/viable/ Hydrogen fuel cells make more sense for aircraft (weight) and larger vehicles like trucks because of scaling (larger tanks are more efficient, etc.) and fleet advantages (depot refueling). It is…
By allowing you to use the features of the host language to complement the features of miniKanren. Having good support for multiple programming paradigms is better than trying to make one paradigm fit all needs.…
I'm delighted this exists as all too many students have used Mathematica in their education and now can't afford it. Yet I'm always wondering why one would write an interpreter for something like this. I've used Maxima…
I've been successfully practicing programming with proof of correctness since the 1970s. The confusion I see with most people failing at this is that they're trying to write code first and then prove it correct. The…
I use formal verification as part of my development process. The needs of the proof guide the development of the code as much as vice-versa. The result is usually cleaner, simpler, smaller and usually more efficient…
I learned to read English the same way I learned to understand it spoken: exposure. As a young child a relative would put me in their lap and a book I liked in my lap and read to me. After awhile I was reading fluently…
I started with Fortran 2 which has subroutines which don't behave as black boxes. It took me months of frustrated study to understand procedure calls in decent languages as delegation. That opened up the world of…
Everything I run on servers I also run on my laptop. Occasionally I get crashes or corruption because of the lack of ECC memory. I'd also like to be able to swap parts between a modular laptop and a home/small-office…
Regulatory systems need omsbuds within the government who can ask for help and explanations from all the agencies regulating a project yet are (primarily) accountable for helping projects succeed as soon as possible and…
This technology is completely amazing - for large fleet vehicles like buses, trucks, ferries, etc. Also airplanes! Getting this so compact and refined is a technological miracle. Now put it where it fits!
Do what Linus does: Focus on code quality!
Culture is huge nested networks of memes[1] which reinforce themselves and evolve via natural selection. Their substrate is our brains. [1] https://en.wikipedia.org/wiki/Memetics
Realistic Hard SF has to deal with Accelerating Change making technology vastly powerful yet still limited. The hardest thing to write about is cognitively enhanced humans or any other entities (AI, aliens, etc.)…
I'm a geek and have shared my home with housemates for 50 years. When I was poor and when I was prosperous. When I was married and when I was not. It's almost always been good for me, including for growth in my social…
AI used to refer to the extensive range of techniques of the field of Artificial Intelligence. Now it refers to LLMs and maybe other multi-layer networks trained on vast datasets. LLMs are great for some tasks and are…
I learned to read by being read to: typically on a relative's lap with the book in my lap. They were not trying to teach me how to read, but my language centers took care of the job, just like they did for spoken…
Important quote! Citation?
When the UC sold the UCSD P-System the profiler and native code compiler were abandoned. With P-Code optimized for size and hot spots native compiled, small P-System programs ran comparably to programs fully compiled to…
The power languages of the late 1960s and 1970s were awesome! I loved APL, InterLisp, Snobol-3, Smalltalk and SETL. Turtle Graphics with a robot turtle. Writing graphics for the Evans & Sutherland Picture System was…
A Gnu/Linux phone with Android in a container using WayDroid or AnBox gives you the best of both worlds.
I regularly use my Twiddler with my Android phone. It allows me to fully operate all the applications I use on my desktop computer, e.g. Emacs. https://www.mytwiddler.com/
Different oils vary a lot in how inflammatory they are. In addition, heating during extraction and/or aging or storage conditions can lead to cross linking which makes oils very bad for health. With the exception of…
You just got a convert! Huge value in sh compatibility. Bash, not so much!
bash, ksh, zsh and a few other shells have the awesome feature that if you call them with a link named "sh" they accept Posix Bourne-shell syntax. This means you can make them your /bin/sh system shell which will be…
I didn't connect miniKanren to Scheme. I said "Host Language." I did suggest the value of a multi-paradigm host language.
Oops: s/visible/viable/ Hydrogen fuel cells make more sense for aircraft (weight) and larger vehicles like trucks because of scaling (larger tanks are more efficient, etc.) and fleet advantages (depot refueling). It is…
By allowing you to use the features of the host language to complement the features of miniKanren. Having good support for multiple programming paradigms is better than trying to make one paradigm fit all needs.…