Hacker News: GregDavidson

New comment by GregDavidson in "What can you confidently guarantee about your software?"

GregDavidson — Mon, 29 Jun 2026 23:03:44 +0000

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 much faster as debugging effort is minimal. I still create complete test cases. Proof maintenance as code changes is a pain and I would like LLMs and/or other tools to help with that. I would never try to formally verify code written with regular processes!

New comment by GregDavidson in "My Students Can't Read"

GregDavidson — Wed, 03 Jun 2026 17:57:16 +0000

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. Most schools teach reading as a conscious intellectual decoding task which leaves little brain power left to engage with the material - the same way most schools teach "foreign" languages. Engage the brain's language centers and language skills will be fluent.

New comment by GregDavidson in "I keep bouncing off the Scheme language"

GregDavidson — Mon, 25 May 2026 21:14:02 +0000

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. Later I would teach this using problems that were a good fit for "recursion". Recursion is not a feature, it's just an obvious pattern of the more general and important nature of delegation. While recursion is occasionally a useful technique, it's tremendously valuable as a tool for learning how to think about procedures as black boxes!

New comment by GregDavidson in "Framework Laptop 13 Pro: Major Upgrades and Linux Front and Center"

GregDavidson — Sat, 25 Apr 2026 20:23:15 +0000

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 again - I want ECC. If framework had a model with ECC I'd be all in!

New comment by GregDavidson in "The bureaucracy blocking the chance at a cure"

GregDavidson — Mon, 16 Mar 2026 22:05:16 +0000

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) responsible for providing transparent feedback to those agencies and the public where regulation is malfunctioning.

New comment by GregDavidson in "Toyota’s hydrogen-powered Mirai has experienced rapid depreciation"

GregDavidson — Sun, 22 Feb 2026 00:07:20 +0000

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!

New comment by GregDavidson in "Ask HN: Is there a no-LLM license yet?"

GregDavidson — Fri, 13 Feb 2026 19:11:13 +0000

Do what Linus does: Focus on code quality!

New comment by GregDavidson in "Culture Is the Mass-Synchronization of Framings"

GregDavidson — Thu, 12 Feb 2026 21:07:24 +0000

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

New comment by GregDavidson in "Covering electricity price increases from our data centers"

GregDavidson — Thu, 12 Feb 2026 16:57:48 +0000

Only train when the Sun shines.

New comment by GregDavidson in "Where did all the starships go?"

GregDavidson — Sat, 07 Feb 2026 23:13:43 +0000

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 limits. JW Campbell famously said it couldn't be done, but without that depictions of the future or wider universe fall flat. Vernor Vinge became the master of such SF and showed several ways to do it. I recommend everything he wrote! Good Hard SF requires an author who has a good grasp of science without that stifling their imagination. It's easy if you cheat but Science Fantasy is unreadable by the science literate folks who frequent HN. Good Hard SF is out there, with and without spaceships, but you'll have to hunt for it - and thanks for all the recommendations here!

New comment by GregDavidson in "Ask HN: Do you also "hoard" notes/links but struggle to turn them into actions?"

GregDavidson — Wed, 04 Feb 2026 01:40:51 +0000

GTD in https://orgmode.org/

New comment by GregDavidson in "The case for having roommates even when you can afford to live alone"

GregDavidson — Sat, 02 Aug 2025 15:41:37 +0000

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 intelligence. It was especially valuable when my wife died. Some of my housemates have been challenging. More became close friends. Living together people take their masks off. Quality social connections have been invaluable to me.

New comment by GregDavidson in "Measuring the impact of AI on experienced open-source developer productivity"

GregDavidson — Thu, 17 Jul 2025 20:47:19 +0000

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 of hybrid systems like the IBM Watson Jepardy system. There's much more to Artificial Intelligence, e.g. https://en.m.wikipedia.org/wiki/Knowledge_representation_and... et al.

New comment by GregDavidson in "How bad are childhood literacy rates?"

GregDavidson — Wed, 16 Jul 2025 22:53:17 +0000

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 schools could muck it up. Reading has always been fast and effortless for me, requiring no conscious attention - again, just like spoken language. Much later I studied the linguistics of language, grammar, spelling systems, etc. which revealed the wonders of our natural language skills. I recommend the natural method for everyone. Be sure to check for eyesight problems, though.

New comment by GregDavidson in "The Collapse of the FDA"

GregDavidson — Tue, 15 Jul 2025 03:51:37 +0000

Important quote! Citation?

New comment by GregDavidson in "Ask HN: What are some cool or underrated tech companies based in Canada?"

GregDavidson — Tue, 08 Jul 2025 22:16:15 +0000

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

New comment by GregDavidson in "Everyday life improvements since the 90s (2022)"

GregDavidson — Wed, 23 Apr 2025 04:45:27 +0000

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 own my own computer (I bought a Sun-2 with Solaris) instead of having everything I created owned by the institution which owned the computer I needed. Today's consumer products, though, are a mixed bag. As an example, I wish I could buy a microwave oven as good as my first one. It was larger, had a temperature probe that could be used instead of time and it used a small internal metal wheel to distribute the microwaves evenly throughout the oven instead of wasting space for the silly rotating platter.

https://ourworldindata.org/extreme-poverty-in-brief

https://en.wikipedia.org/wiki/Enshittification

New comment by GregDavidson in "Terak Museum"

GregDavidson — Sat, 19 Apr 2025 20:20:17 +0000

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 large programs ran thousands of times faster by reducing (usually eliminating) swapping and paging on those early memory-starved systems. I too migrated to Sun-2s but I purchased them myself. I'd learned the hard way that software developers need to own the means of their production!

New comment by GregDavidson in "The UCSD p-System, Apple Pascal, and a dream of cross-platform compatibility"

GregDavidson — Sat, 19 Apr 2025 04:05:23 +0000

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 radical ideas - fortunately he was tolerant. The p-code was not just machine independent - by careful design it was approximately 1/4 the size of native code on those early 8 and 16-bit microprocessors, allowing us to effectively almost quadruple the amount of code we could fit in 64K - minus the interpreter which was 8K of machine code and minus another 8K on PDP-11s for I/O space. We would also use native code for hotspots without appreciably expanding code size. This key idea is what allowed us to have a high-level OS and development environment on those dinky machines when everyone else was compromising quality to get things to fit. Alas, CopyLeft had not yet been invented, the UC sold the P-System and we lost legal access to the code we'd written.

New comment by GregDavidson in "Understanding the Origins and the Evolution of Vi and Vim"

GregDavidson — Sat, 19 Apr 2025 03:04:18 +0000

vis rocks!

https://github.com/martanne/vis