@nil@functional.cafe
@nil@functional.cafe avatar

nil

@nil@functional.cafe

lisp clojure smalltalk self forth occam erlang haskell apl j k prolog hypercard cybernetics situationism zines artifacts

This profile is from a federated server and may be incomplete. Browse more on the original instance.

AverageDog, to programming
@AverageDog@mastodon.social avatar

This may very well be the most useless book I have ever written, and I don't even know why I did. I guess it is still better than getting drunk in a bar.
Anyway, it defines the programming language formally in terms of basic functions (zero, successor, identity, mu) and naive set theory. I have no idea why anybody would read such a book. Maybe you can give me some hints? :)
Or, in case you want to prove me wrong: http://t3x.org/t3x/0/formal.html
, , ,

nil,
@nil@functional.cafe avatar

@AverageDog this was an immediate purchase!

nil, to Lisp
@nil@functional.cafe avatar

I used to own a stack of boxes of vintage Byte magazine issues from 78-82 as I wanted physical copies of the and articles (which at the time were not scanned/available). Anyway I couldn’t help but read almost all of them, mainly for the ads! Also some great articles. Ultimately it was incredibly informative to learn about the hype cycle of tech. So every time I hear about crypto or LLM shit I imagine it (well what ever the aphantasia version of imagining is) in terms of half page glossy over produced vintage byte magazine ads.

nil, to Lisp
@nil@functional.cafe avatar

Very excited about this book! Conway’s Game of Life is what got me out of blubberism almost three decades ago as I implemented it in php and started looking into more succinct implementations which brought me to #apl, #lisp and so #forth.

nil, to random
@nil@functional.cafe avatar

Saturdays are for coffee, playing rust, planning and discussing the finer points of with those I (love) with.

nil, to books
@nil@functional.cafe avatar

We have reached the point where we are
considering the pros and cons of putting a bookshelf in the bathroom. Too many but they are all so good!

nil, to random
@nil@functional.cafe avatar

I am a strange process network.

nil, to random
@nil@functional.cafe avatar

Playing and wondering why we still don’t have a Shining Force Online. Phantasy Star Online is wildly successful it just makes sense. The turn based nature could allow for a more asynchronous experience too similar to correspondence chess (obviously with agreed upon turn time limits etc).

nil, to random
@nil@functional.cafe avatar
nil, to random
@nil@functional.cafe avatar

A poem I wrote about capitalism and the fruits of subjugation:

DRYWALL RACECAR

nil, to random
@nil@functional.cafe avatar

Fuck that jacobin article on . Designing Freedom has more to say than anything they’ve ever written! I’m taking it personally because I give a fuck.

https://monoskop.org/images/e/e3/Beer_Stafford_Designing_Freedom.pdf

nil, (edited ) to random
@nil@functional.cafe avatar

Can’t recall the specific paper right now but I read something profound wrt => lambda calculus which is that the pattern of having the last arg for each process being a reply-chan is similar to continuation passing style. And I can’t stop thinking about that.

nil, to boardgames
@nil@functional.cafe avatar

Just found out you can play kriegspiel on macOS/iOS for free! https://r-s-g.org/kriegspiel/index.php

#situationism #BoardGames #debord

nil, to random
@nil@functional.cafe avatar


Title: The Role of Computers in Teaching
Author: Kenneth E. Iverson
Year: 1968

nil, to forth
@nil@functional.cafe avatar

More (moore) forth! #forth #eforth #subleq

nil, to random
@nil@functional.cafe avatar

Title: Actors
Author: Gul Agha
Year: 1986

#ActorModel #VeganComputerScience

nil, to random
@nil@functional.cafe avatar

This should exist: A but for the where you can specify how many 16bit processors you want up to 42. Maybe as part of a meta game you can unlock processors as you learn new concepts.

nil, (edited ) to random
@nil@functional.cafe avatar

The UI experience is almost explicitly concurrent. Yet we program for them as if they are linear shell scripts. Longing for . It is tragic to me that was born 30 years too early. I want process affinity networks not fucking dom hierarchies. Just say that out loud “dom hierarchy” sounds like a tongue in cheek punk band detourning fascistic language (please understand I do not mean to kink shame) to be provocative - nope it’s what we teach our young. I am not kidding here either. Shit like react exists because of how problematic it is to make hierarchy efficient. Cybernetics (real shit like wiener and beer [the csp channel being the reification of the algedonic signal] not fancy robot hands) constantly directs us to emulate nature. Where is the hierarchy in the forest? To whom does the orchid ask permission to connect to the mycorrhizal network?

nil, to bbs
@nil@functional.cafe avatar

I will say it again: mastodon NEEDS door games. I just want to play or with people in my feed. forever.

crmsnbleyd, to Lisp
@crmsnbleyd@emacs.ch avatar

lisp.wtf is available to rent. What would be a useful thing to host on it?

#lisp

nil,
@nil@functional.cafe avatar

@crmsnbleyd various classic SICP examples but as an xml flavored lisp called wtf. #cursed

nil, to random
@nil@functional.cafe avatar

Title: Hypermedia Systems
Authors: CARSON GROSS, ADAM STEPINSKI, DENİZ AKŞİMŞEK
Review: very well written and good explanation of the what/why/how of and hypermedia as it was intended. My only qualm was numerous code formatting/layout issues when ever a code block crossed pages eg missing and duplicated lines. Sometimes these lines are referred to by the text which can add to the confusion. I love the cover though and the font choices!

nil, to random
@nil@functional.cafe avatar

Driving through northern Nevada and Utah tonight - hoping to see the aurora!

nil, to random
@nil@functional.cafe avatar

kate bush makes everything better.

nil, to random
@nil@functional.cafe avatar

I believe this makes me owner #2 of the #t3x programming language formal definition. My first inclination is to write a lisp for the tcode machine but given the author I feel this has already happened? Chapter 6 is very cool to see the variants of asm for each instruction for z80 8086 and ARMv6.

nil, to random
@nil@functional.cafe avatar

Real alphaville “are you gonna drop the bomb or not” vibes tonight. Fitting that I am deep diving into 68000 assembly so I can finally write the sega genesis game of my dreams on actual hardware. Of course via some sort of GOAL type approach mind you.

nil, to random
@nil@functional.cafe avatar

How about we tackle the Human Intelligence alignment problem first.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • GTA5RPClips
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • khanakhh
  • Youngstown
  • ngwrru68w68
  • slotface
  • everett
  • rosin
  • thenastyranch
  • kavyap
  • tacticalgear
  • megavids
  • cisconetworking
  • normalnudes
  • osvaldo12
  • ethstaker
  • mdbf
  • modclub
  • Durango
  • tester
  • provamag3
  • cubers
  • Leos
  • anitta
  • lostlight
  • All magazines