eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

216
active users

#prolog

1 post1 participant0 posts today
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.

#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

You might say, with great fanfare and bluster, that generative AI is the very pinnacle of software creation! And the VCs doth sing mightily in thy praise!

Good sirrah, hold thy tongue. Have a care not to expose your ignorance!

Why? Pray tell, you beg of be.

Then let it be known, and hail it from the mountains! In this world, at this very time, there exists a software wonder one might scarcely dare to imagine!

An #x11 window manager, written in #Prolog !

github.com/Seeker04/plwm

GitHubGitHub - Seeker04/plwm: An X11 window manager written in PrologAn X11 window manager written in Prolog. Contribute to Seeker04/plwm development by creating an account on GitHub.

1/ „Das DFKI, an dem etwa 1.500 Forschende überwiegend mit öffentlichen Mitteln arbeiten, wurde schon 1988 gegründet. Damit waren die Deutschen bei dem Thema eigentlich früh dran.“

taz.de/Kuenstliche-Intelligenz

Nun ja, nun ja. #KI war nicht immer das, was heute unter #KI läuft. Computerlinguistik war zum größten Teil symbolische KI. Es gab große Ontologien, die versuchten, menschliches Wissen zu formalisieren, so dass man mit logischen Schlussverfahren etwas daraus ableiten konnte. Expertensysteme.

Und schon nach dem Krieg wurde mit Machineller Übersetzung begonnen. Man dachte sich, wenn Turing die Enigma entschlüsseln konnte, müsste es auch möglich sein, maschinell zu übersetzen, denn letztendlich war das ja auch nur ein Dekodierungsproblem.

Irgendwann kam dann der ALPAC-Report und es gab den ersten AI winter. Komischerweise fehlt der in Wikipedia.

de.wikipedia.org/wiki/Maschine

Das war 1966. Also gab es schon damals KI.

de.wikipedia.org/wiki/ELIZA

Weizenbaum hat auch 1966 #ELIZA geschrieben.

Auch symbolische KI. In #Prolog. Als er sah, wie Menschen darauf reagierten wurde er zum KI-Kritiker. Die #LLMs von heute sind sehr viel leistungsfähiger und sehr viel gefährlicher.

Ach so: Auf dem Bild ist Reinhard Karger vom #DFKI. Er hat immer die Demos von #VerbMobil gemacht, das auch im Bild zu sehen ist. Lief damals auf ner SUN Sparc Station.

VerbMobil war das größte KI-Projekt, das es jemals in Deutschland gab. Wahrscheinlich auch international. Eigentlich zu groß.

de.wikipedia.org/wiki/Verbmobi

Ich habe mit Walter Kasper die deutsche Grammatik gemacht. #HPSG #Linguistik #Computerlinguistik

TAZ Verlags- und Vertriebs GmbH · Künstliche Intelligenz: Die Deutschen waren früh dran1988 entstand das Deutsche Forschungszentrum für KI – also lange Zeit vor Google, Amazon und Meta. Warum wurde ChatGPT dennoch in den USA entwickelt?

Hey all! I'm due for an (re-)introduction: I'm Jack, an engineer in the NYC area from a firmware & cybersecurity background, currently working in something like hardware-software co-design.

Technical work is often with #rust #kicad #python #verilog #c, and in all-too-rare moments stuff like #haskell #forth #agda and #prolog

I've never been much for social media, usually preferring to keep interests local: a better-detailed #introduction to follow as I figure this out 🙂

#Introduction

Greeting, I'm Sam. Basically I created this account and now access it via #Tor because I live in the US and fear for our safety, security, and privacy from our own government now. It's a disgrace.

I'm into old computers (#Retrocomputing) from the late 70s and early 80s, mostly #Commodore, #Atari, #Sinclair, #AppleII, (gotta specify the 'ii' else I'll get a bunch of modern apple junk), #Acorn, etc.

I know #BASICv2 and #6510ASM, along with modern #C, #Perl, #Pascal, etc. I've also wanted to relearn #Prolog (CP3...😜 )

I'm a straight male but I hope that doesn't matter as it doesn't matter to me what you are. I believe people deserve to live their lives, their way to be happy. No one is above others. It's when beliefs are pushed on others we have problems.

Thank you for taking the time to read this far and I guess I'm supposed to end with a "Like and subscribe", but I think here that means "Follow if you'd like". 😆

Game programming in Prolog

Found this on HackerNews, all I can say is, wow. It takes a certain degree of masochism to try use the #Prolog #ProgrammingLanguage for anything at all, but for a whole game?

I imagine you could implement an Entity Component System (ECS) in Prolog with just a few lines of code, and so you can develop your game state in that way pretty easily. Prolog is great for implementing agent logic, that was what it was originally designed to do. Also Prolog implementations such as SWI allow you to save an image of the entire state of your program, much like the SBCL (Common Lisp) save-lisp-and-die function.

But doing I/O, or calling FFI functions, especially if you want to draw graphics, it would probably be pretty difficult.

I guess if you can implement a whole programming language like #Erlang in Prolog, why not a game.

ThingsPoolGame Programming in Prolog - Part 1This article explains how a game can be made in Prolog by leveraging the hidden power of logic programming. Inspired by the elegance of data-driven design and declarative programming paradigms, I will be explaining a new way of designing game rules which can at the same time be used as the source code of the gameplay system itself.