GregDavidson

6 ms·

1.
by GregDavidson 1mo ago
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 Maxim
2.
by GregDavidson 2mo ago
If someone can't implement the very simplest Graph Structure, Linked Lists, then I assume they can't implement any linked data structure. Learning variations of Linked Lists is where you start, e.g. https://rust-unoffi
3.
by GregDavidson 2mo ago
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 idea promote
4.
by GregDavidson 2mo ago
Emacs is a Platform . Operating Systems are also Platforms. Many other things are platforms. A platform is a layer of software designed to enable you to build new things on it. This should raise the question: What platform X would be g
5.
by GregDavidson 3mo ago
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 programs developed muc
6.
by GregDavidson 4mo ago
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 without effort.
7.
by GregDavidson 4mo ago
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 high-level computing
8.
by GregDavidson 5mo ago
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 server, but
9.
by GregDavidson 6mo ago
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 (secondarily) respo
10.
by GregDavidson 7mo ago
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!
11.
by GregDavidson 7mo ago
Do what Linus does: Focus on code quality!
12.
by GregDavidson 7mo ago
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
13.
by GregDavidson 7mo ago
Only train when the Sun shines.
14.
by GregDavidson 7mo ago
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.) exceeding human cognitive
15.
by GregDavidson 8mo ago
GTD in https://orgmode.org/
16.
by GregDavidson 1y ago
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 intelligen
17.
by GregDavidson 1y ago
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 also great as parts
18.
by GregDavidson 1y ago
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 language, long before
19.
by GregDavidson 1y ago
Important quote! Citation?
20.
by GregDavidson 1y ago
My Twiddler comes from Winnipeg -- https://www.mytwiddler.com/
21.
by GregDavidson 1y ago
The biggest difference between now and the 1990s is in the reduction of abject poverty worldwide. Death and disability from food shortage was extremely common in many countries. A huge improvement in the 1990s over the 1980s is that I could
22.
by GregDavidson 1y ago
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 native code and lar
23.
by GregDavidson 1y ago
The UCSD "Computer Scientists" were a small group of undergraduates working in Ken Bowles' lab. We were supposedly following Professor Bowles' directions but he was a fairly conservative physicist and we had lots of rad
24.
by GregDavidson 1y ago
vis rocks! https://github.com/martanne/vis
25.
by GregDavidson 1y ago
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 awesome. Instead
26.
by GregDavidson 1y ago
A Gnu/Linux phone with Android in a container using WayDroid or AnBox gives you the best of both worlds.
27.
by GregDavidson 1y ago
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/
28.
by GregDavidson 2y ago
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 olive oil's
29.
by GregDavidson 2y ago
You just got a convert! Huge value in sh compatibility. Bash, not so much!
30.
by GregDavidson 2y ago
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 used

More ›