Viewing profile — GregDavidson

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

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

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. Thi…

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

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

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

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

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

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. N…

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

Only train when the Sun shines.

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

GTD in https://orgmode.org/

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 …

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

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

Important quote! Citation?

My Twiddler comes from Winnipeg -- https://www.mytwiddler.com/

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 …

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

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

vis rocks! https://github.com/martanne/vis

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

A Gnu/Linux phone with Android in a container using WayDroid or AnBox gives you the best of both worlds.