VT320
@vt320.bsky.social
header text: Programming as theory building - Peter Naur (1985)
Pinned
VT320
@vt320.bsky.social
· 20h
Home Page
DOI.org
A wonderful article by Peter Naur written in 1985 but quite insightful on these days of shallow reasoning:
Naur, Peter. “Programming as Theory Building.” Microprocessing and Microprogramming, vol. 15, no. 5, May 1985, pp. 253–61. DOI.org (Crossref), doi.org/10.1016/0165....
#programming #PeterNaur
Naur, Peter. “Programming as Theory Building.” Microprocessing and Microprogramming, vol. 15, no. 5, May 1985, pp. 253–61. DOI.org (Crossref), doi.org/10.1016/0165....
#programming #PeterNaur
Reposted by VT320
Always dress smartly before settling down to write.
Getty Ms. 114; Livre des faits de Jacques de Lalaing; c.1530 CE; Flanders, Belgium; f.10r @gettymuseum.bsky.social
Getty Ms. 114; Livre des faits de Jacques de Lalaing; c.1530 CE; Flanders, Belgium; f.10r @gettymuseum.bsky.social
February 11, 2026 at 9:44 PM
Always dress smartly before settling down to write.
Getty Ms. 114; Livre des faits de Jacques de Lalaing; c.1530 CE; Flanders, Belgium; f.10r @gettymuseum.bsky.social
Getty Ms. 114; Livre des faits de Jacques de Lalaing; c.1530 CE; Flanders, Belgium; f.10r @gettymuseum.bsky.social
La morale des objets
www.persee.fr/doc/comm_058...
I. Fonction sociale de l'objet-signe
II. Perspectives sociologiques
III. La pratique différentielle des objets
III. Une logique de la ségrégation
#design #objects #morale
www.persee.fr/doc/comm_058...
I. Fonction sociale de l'objet-signe
II. Perspectives sociologiques
III. La pratique différentielle des objets
III. Une logique de la ségrégation
#design #objects #morale
La morale des objets - Persée
www.persee.fr
February 11, 2026 at 5:41 PM
La morale des objets
www.persee.fr/doc/comm_058...
I. Fonction sociale de l'objet-signe
II. Perspectives sociologiques
III. La pratique différentielle des objets
III. Une logique de la ségrégation
#design #objects #morale
www.persee.fr/doc/comm_058...
I. Fonction sociale de l'objet-signe
II. Perspectives sociologiques
III. La pratique différentielle des objets
III. Une logique de la ségrégation
#design #objects #morale
The Hot Mess of AI: How Does Misalignment Scale with Model Intelligence and Task Complexity?
alignment.anthropic.com/2026/hot-mes...
When AI systems fail, will they fail by systematically pursuing the wrong goals, or by being a hot mess?
#AI #intelligence #complexity
alignment.anthropic.com/2026/hot-mes...
When AI systems fail, will they fail by systematically pursuing the wrong goals, or by being a hot mess?
#AI #intelligence #complexity
The Hot Mess of AI: How Does Misalignment Scale with Model Intelligence and Task Complexity?
alignment.anthropic.com
February 11, 2026 at 5:28 PM
The Hot Mess of AI: How Does Misalignment Scale with Model Intelligence and Task Complexity?
alignment.anthropic.com/2026/hot-mes...
When AI systems fail, will they fail by systematically pursuing the wrong goals, or by being a hot mess?
#AI #intelligence #complexity
alignment.anthropic.com/2026/hot-mes...
When AI systems fail, will they fail by systematically pursuing the wrong goals, or by being a hot mess?
#AI #intelligence #complexity
Large Language Models: Die Mathematik hinter Transformers
www.heise.de/blog/Large-L...
Die Transformer-Architektur findet sich heute in allen Large Language Models. Aber wie genau funktioniert sie? Der Artikel klärt die mathematischen Hintergründe
#LLM #mathematics #transformers
www.heise.de/blog/Large-L...
Die Transformer-Architektur findet sich heute in allen Large Language Models. Aber wie genau funktioniert sie? Der Artikel klärt die mathematischen Hintergründe
#LLM #mathematics #transformers
Large Language Models: Die Mathematik hinter Transformers
Die Transformer-Architektur findet sich heute in allen Large Language Models. Aber wie genau funktioniert sie? Der Artikel klärt die mathematischen Hintergründe
www.heise.de
February 11, 2026 at 5:15 PM
Large Language Models: Die Mathematik hinter Transformers
www.heise.de/blog/Large-L...
Die Transformer-Architektur findet sich heute in allen Large Language Models. Aber wie genau funktioniert sie? Der Artikel klärt die mathematischen Hintergründe
#LLM #mathematics #transformers
www.heise.de/blog/Large-L...
Die Transformer-Architektur findet sich heute in allen Large Language Models. Aber wie genau funktioniert sie? Der Artikel klärt die mathematischen Hintergründe
#LLM #mathematics #transformers
The Advanced Matrix Factorization Jungle
igorcarron.github.io/welcome-to-t...
A living document on state-of-the-art algorithms, implementations, and phase transitions
#mathematics #matrix #algorithm
igorcarron.github.io/welcome-to-t...
A living document on state-of-the-art algorithms, implementations, and phase transitions
#mathematics #matrix #algorithm
The Advanced Matrix Factorization Jungle
igorcarron.github.io
February 11, 2026 at 5:12 PM
The Advanced Matrix Factorization Jungle
igorcarron.github.io/welcome-to-t...
A living document on state-of-the-art algorithms, implementations, and phase transitions
#mathematics #matrix #algorithm
igorcarron.github.io/welcome-to-t...
A living document on state-of-the-art algorithms, implementations, and phase transitions
#mathematics #matrix #algorithm
Is Amateur Radio an Alternative to Age-Restricted Social Media?
www.openresearch.institute/2026/02/09/i...
#amateurRadio #socialMedia
www.openresearch.institute/2026/02/09/i...
#amateurRadio #socialMedia
Amateur Radio as Alternative to Age-Restricted Social Media
Is Amateur Radio an Alternative to Age-Restricted Social Media? Those of us at Open Research Institute think the answer is overwhelmingly yes.
www.openresearch.institute
February 11, 2026 at 5:07 PM
Is Amateur Radio an Alternative to Age-Restricted Social Media?
www.openresearch.institute/2026/02/09/i...
#amateurRadio #socialMedia
www.openresearch.institute/2026/02/09/i...
#amateurRadio #socialMedia
History of UHF television: TV Above Channel 13
uhfhistory.com
This is the history of analog UHF television broadcasting (or at least, the parts of it that involved stations that, despite often-valiant attempts at success, ended up going dark).
#televison #uhf #history
uhfhistory.com
This is the history of analog UHF television broadcasting (or at least, the parts of it that involved stations that, despite often-valiant attempts at success, ended up going dark).
#televison #uhf #history
History of UHF Television: TV Above Channel 13
uhfhistory.com
February 11, 2026 at 5:04 PM
History of UHF television: TV Above Channel 13
uhfhistory.com
This is the history of analog UHF television broadcasting (or at least, the parts of it that involved stations that, despite often-valiant attempts at success, ended up going dark).
#televison #uhf #history
uhfhistory.com
This is the history of analog UHF television broadcasting (or at least, the parts of it that involved stations that, despite often-valiant attempts at success, ended up going dark).
#televison #uhf #history
Reposted by VT320
I wrote about the late philosopher Brian Cantwell Smith, and his profound thinking about AI and the nature of intelligence.
aiguide.substack.com/p/on-brian-c...
aiguide.substack.com/p/on-brian-c...
On Brian Cantwell Smith and the Promise of AI
Today I had the bittersweet pleasure of participating in a symposium honoring the late philosopher Brian Cantwell Smith, a good friend whom I’d known for over 30 years.
aiguide.substack.com
February 10, 2026 at 12:16 AM
I wrote about the late philosopher Brian Cantwell Smith, and his profound thinking about AI and the nature of intelligence.
aiguide.substack.com/p/on-brian-c...
aiguide.substack.com/p/on-brian-c...
A wonderful article by Peter Naur written in 1985 but quite insightful on these days of shallow reasoning:
Naur, Peter. “Programming as Theory Building.” Microprocessing and Microprogramming, vol. 15, no. 5, May 1985, pp. 253–61. DOI.org (Crossref), doi.org/10.1016/0165....
#programming #PeterNaur
Naur, Peter. “Programming as Theory Building.” Microprocessing and Microprogramming, vol. 15, no. 5, May 1985, pp. 253–61. DOI.org (Crossref), doi.org/10.1016/0165....
#programming #PeterNaur
Home Page
DOI.org
February 11, 2026 at 12:14 PM
A wonderful article by Peter Naur written in 1985 but quite insightful on these days of shallow reasoning:
Naur, Peter. “Programming as Theory Building.” Microprocessing and Microprogramming, vol. 15, no. 5, May 1985, pp. 253–61. DOI.org (Crossref), doi.org/10.1016/0165....
#programming #PeterNaur
Naur, Peter. “Programming as Theory Building.” Microprocessing and Microprogramming, vol. 15, no. 5, May 1985, pp. 253–61. DOI.org (Crossref), doi.org/10.1016/0165....
#programming #PeterNaur