I was reading the Obituary for Don Lancaster (RIP K3BYG) and I noticed the two ads, shown below. I wasn’t sure at first if this was satire, or not… ah, crime and commerce in the land of the free.
Category Archives: Philosophy
ChatGPT Shared Links FAQ
Hell yeah! ChatGPT Shared Links FAQ. I see many links in your future.
6 Phases of the Post-GPT World
6 Phases of the Post-GPT World. A good read. Some interesting ideas. Many quotable bits but this was my fav: “In short, we’re about to multiply the creative output of planet Earth by hundreds of orders of magnitude.”
Falsehoods programmers believe about programming
Just re-enjoying this old chestnut: Falsehoods programmers believe about programming.
Can engineering save us?
I found this interesting talk from Carl Mitcham called Can engineering save us? A Moulakis Lecture in Responsible Engineering with Carl Mitcham. His answer: no.
Intuitionism
Recently I read about Intuitionism and I can tell you unreservedly that I do not believe in it. I believe that objective things can exist independent of human minds and the most salient example I could give is in your computers. In your computer you can calculate 1 + 1 = 2 and you can do so quite independently of a human mind. 1 + 1 = 2 is an objective truth which can easily be modelled in a machine. Certainly mathematics can *also* be the result of constructive mental activity in human minds, but it is not limited to that. Also it might be interesting to note that machines will be able to find objective mathematical truths which are beyond the capacity of a human mind alone, in fact I’m quite sure that will have been done already (if you can think of an example feel free to let me know!).
Curry–Howard correspondence
Some light reading. /s
Presentations by Bret Victor
I just found him but I’m a big fan of Bret Victor.
Reading Jacques Derrida
I’m interested in reading more Jacques Derrida and I think I might start with Margins of Philosophy.
Works by Gary Aylesworth
I forget how it happened but I ended up over here: Works by Gary Aylesworth.