-
Join 81 other subscribers
-
Recent Posts
- A Bad Trip to Infinity [4800 views]
- GOFAI is dead – long live (NF) AI! [10,000 views]
- 50 Years of Wow- I lived through 5 decades of computing milestones [4400 views]
- Just How Smart are You, ChatGPT? I quiz chatGPT about math.[7500 views]
- To Be or Not to Be – Mathematical Existence and the Axiom of Choice [3900 views]
Archives
- March 2023
- February 2023
- December 2022
- November 2022
- July 2022
- June 2022
- May 2022
- March 2022
- February 2022
- January 2022
- December 2021
- August 2021
- June 2021
- May 2021
- March 2021
- February 2021
- January 2021
- September 2020
- August 2020
- July 2020
- June 2020
- April 2020
- March 2020
- February 2020
- January 2020
- December 2019
- October 2019
- June 2019
- April 2019
- March 2019
- October 2018
- September 2018
- November 2017
- June 2017
- May 2017
- April 2017
- March 2017
- March 2016
- January 2016
- December 2015
- November 2015
- October 2015
- September 2015
- July 2012
- April 2012
- March 2012
- December 2011
- May 2011
- April 2011
- March 2011
- February 2011
- July 2010
Meta
Category Archives: Uncategorized
Tech Talks Don’t Have to be Boring; follow these simple rules. [3100 views]
Recently my PhD student gave a rehearsal of their 20 minute oral presentation. It was ok. Average. In other words, (seemingly) long, and boring. Like so many people’s technical talks. What can you do? What you can do is follow … Continue reading
Posted in Uncategorized
1 Comment
Stretchtext or Bust – Ted Nelson’s unrealized vision [1100 views]
Two cheers for the World Wide Web — Ted Nelson Ted Nelson invented hypertext but not the web. He thinks it hasn’t fulfilled its real potential, and I agree. One of his good ideas that the web doesn’t really support … Continue reading
Posted in Uncategorized
2 Comments
Type Checking as Calculation [700 views]
As I’ve said before, PyFL is functional programming for the rest of us. (It’s available at pyflang.com.) PyFL now has type checking – without type declarations. Instead the type is produced by evaluating the program over the domain of types.
Posted in Uncategorized
2 Comments
Topology and Computability[3400 views]
Readers of this blog are familiar with notions of computability – basically, the question is, what can machines do without human assistance? And you are familiar with machines. Electronic ones of course, but I always like to think of machines … Continue reading
Posted in Uncategorized
1 Comment
PyLucid : Calculating Dimensionalities with Yaghi Code [850 views]
When Lucid first came out decades ago it was a very primitive language. It had only program variables and built-in operators and functions, like next or fby. Users could not define their own functions (or “subroutines” as they were often … Continue reading
Posted in Uncategorized
1 Comment
Functional Programming for the Rest of Us – get PyFL Now! [6600 views]
It was developed in a secret lab and released, after which it spread rapidly. COVID? (maybe …). But I’m talking about the new PyFL interpreter. It’s finally available for the general public at pyflang.com To make things simple, in the form … Continue reading
Posted in Uncategorized
Leave a comment
Unbeatable? Tictactoe in PyFL [1100 views]
I wrote a program to play unbeatable tictactoe in my experimental functional language PYFL. (PYFL = Python based functional language; henceforth PyFL) Of course writing a tictactoe player is hardly a major challenge, but I wanted to see how it … Continue reading
Posted in Uncategorized
1 Comment
Parametric Programming – an equational approach to OO and beyond [3500 views]
A very long time ago I had an interesting if flawed idea. The idea was to (optionally) replace instances of expression constructs with equations defining or referring to components of conventional compound structures. The special variables defined or used I … Continue reading
Posted in Uncategorized
1 Comment
Functional while loops – no, really! [1500 views]
As I’ve explained I invented and implemented a small functional language (PYFL) to test out some ideas. In particular one idea is the (oxymoronic) functional while loop. A while loop? In a functional language? “Impossible!” you snort. Well you’re wrong. … Continue reading
Posted in Uncategorized
1 Comment
PyFL Output: the magic of simple side effects [700 views]
As I’ve already explained I’ve invented and implemented an experimental functional language – PyFL (Python based Functional Language) – to try out some ideas. For example, PyFL has a full set of Variable Binding Operators (VBOs) that use a linear … Continue reading
Posted in Uncategorized
Leave a comment