veganism.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Veganism Social is a welcoming space on the internet for vegans to connect and engage with the broader decentralized social media community.

Administered by:

Server stats:

296
active users

#prolog

1 post1 participant0 posts today

I was excited to see a 40 year old Byte magazine featuring, among other declarative languages, Prolog. I learned Prolog for a quarter semester in one of my CS major’s intro classes…20 years ago.

hachyderm.io/@thomasfuchs/1149

A couple years ago, I looked around for a Prolog interpreter that would run on my mac, but didn’t find one. Funny how exuberant and optimistic this article was about the longevity of the language and the “logic programming” concept.

Hachyderm.ioThomas 🔭🕹️ (@thomasfuchs@hachyderm.io)@raymondcamden@mastodon.social Lots of them are readable online at archive.org, this BYTE issue is here: https://archive.org/details/byte-magazine-1985-08/mode/2up?view=theater
Continued thread

If you feel any #ImposterSyndrome as a programmer about calling yourself an "engineer", just start writing your backend server software in #Erlang. Yes, you'll have to learn #Prolog syntax. Yes, you'll have to learn how to do fully functional programming with only immutable data structures. Yes, it is fully asynchronous and designed for reliability and fault tolerance. Yes, it is highly dynamic and can do things like update running software remotely with new code with zero downtime.

Replied to jnpn

@jnpn Interesting, and documented in a concrete language, so it is understandable by simple programmers. I think effect system is implementable in #Prolog using shift and reset (aka delimeted continuations).

Revisited learning #Prolog via metalevel.at/prolog . It is somewhat chaotic (due to the interlinks and so non-linear order), but a great resource once you have some basic ideas what you are looking for.

A conclusion so far is that Prolog is much much more powerful and practical than was taught at the university (or, I might have benefited from taking the advanced level declarative programming too).

Well, one only starts to appreciate in hindsight.

www.metalevel.atThe Power of PrologIntroduction to modern Prolog

#Goals2025

Moving away from the constant upgrade cycle & moving closer to the ideals of #PermaComputing #MalleableSoftware

Design and setup a redundant system of old/used, cheap, low-power devices running ia: #Guix, #Linux, #FreeBSD, #macOS, #HaikuOS, #Plan9Front, #X11, #P9, #NFS, all working together

Become an expert on #MicroControllers #ESP32 #STM32 #RP2040 #MIPS #RiscV

DIY sensors which sing like birds to communicate their status

DIY robots "drones"

Move as much as possible of my computing needs to the #Terminal, #Emacs, #Rio #CLI #TUI #P9

Get an #3DPrinter and learn to use it

Design and build my own portable 8dot #braille terminal & try out if 3x3 or 3x4 dots is also workable.

Design and build my own low-power computers, their OS, and tools

Writing more of my own tools #DIY

#SmallTalk #ObjectPascal #Prolog #Scheme #Racket #CommonLisp #Haskell #Rust #Go #ObjectiveC #Swift

Deploy #LoRa #ReticullumNetwork #RNodes #MeshCore #Meshtastic

Start an #InternetResiliencyClub

Add #Tor, #I2P support by #WebProxy

#SolarPowered #SelfHost over #I2P, #OnionService #Blog #Wiki #Repositories #GopherHole #Darcs #Mercurial

#SelfHost my own #EmailServer, which will only accept email from #KnownServers #CommunityEmail #MutualEmailAcceptance

Share files via #BitTorrent over #I2P

DIY #HomeAutomation
DIY #GardeningAutomation
DIY #GreenHouse

Get a house cat, train the cat, use voice and gestures

Start asking money for advice & technology support

Build/program my own opportunistic and strange cryptocurrency miners #BTC, #XMR, #ZEC, etc #Art

#MakeMoreArt #LearnToDraw #Learn3DModeling #LearnGenerativeArt #LearnToComposeAmbientMusic

#ReCreateJottit #ReCreateInstikiWiki

#WriteMore #PublishMore #Letters, #Essays, #Missives, #Reports, #Treatise