LisPi  

It's pretty funny how #Lisp *keeps* on giving examples I can use to debunk nonsense and false beliefs.

1
Elias
Follow

@lispi314 this sounds interesting, can you show some such example?

· Web · 1 · 0 · 0
LisPi  

@eliasr Some of the other conversation under this thread, and some here: mastodon.top/@lispi314/1113432

There are a number of other instances but basically every time I discuss operating system design and someone says something cannot be done.

1
Hayley  
@lispi314 @eliasr halting problem means you can't be sure that lambda calculus won't use-after-free, don't ya know
1
LisPi  

@hayley @eliasr On hardware that doesn't undermine the expectations set out by the language and system specification, there really isn't that much which that allows.

Of course as it so happens most hardware is hopelessly broken but that affects every OS running on such hardware.

1
Hayley  
@lispi314 @eliasr from a theoretical POV, it's quite hard to make a not Turing complete language. So that doesn't seem to harm language design much.
0
Sign in to participate in the conversation
Librem Social

Librem Social is an opt-in public network. Messages are shared under Creative Commons BY-SA 4.0 license terms. Policy.

Stay safe. Please abide by our code of conduct.

(Source code)

image/svg+xml Librem Chat image/svg+xml