Bryan Guffey musicjunkieg

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

Twitter allows users to download parts of their data, see How to download your Twitter archive.

But what's not included in that data dump is the usernames/handles of the people that you follow or are following you. All you get is account IDs which is just an internal number and so a bit useless when it comes to archival.

Here's a way to get that data (you need to know how to run stuff in the terminal):

Go to your Twitter profile in a desktop browser (Firefox or Chrome)
Right click on page → Inspect → Network tab
Click on the Following link (e.g. https://twitter.com/{yourusername}/following)

Purpose

Bootstrap knowledge of LLMs ASAP. With a bias/focus to GPT.

Avoid being a link dump. Try to provide only valuable well tuned information.

Prelude

Neural network links before starting with transformers.

The reverse turing test

I asked GPT-4 to come up with 10 questions to determine if the answerer was AI or human.

I provided my own answers for these questions and I also asked ChatGPT to answer them.

The result is that GPT-4 was able to correctly differentiate between AI and Human.

	-- Outline https://confluence.atlassian.com/display/JIRA/Connecting+JIRA+to+SQL+Server+2012

	-- Create the database
	CREATE DATABASE jiradb;
	GO
	ALTER DATABASE jiradb COLLATE SQL_Latin1_General_CP437_CI_AI;
	GO
	ALTER DATABASE jiradb
	SET READ_COMMITTED_SNAPSHOT ON
	WITH ROLLBACK IMMEDIATE;