photog.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for your photos and banter. Photog first is our motto Please refer to the site rules before posting.

Administered by:

Server stats:

242
active users

#prolog

0 posts0 participants0 posts today

#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?

I'm on the last chapter of the University of Finland's Haskell mooc course.

Of all the languages I've tried over 30+ years

* #haskell pushed me to think in terms of higher-order functions - and also to value the importance of types

* #prolog was the first to make think declaratively and to solve problems by riding on its internal (search) mechanism

* #6502 on the BBC micro gave me empathy for what's happening "on metal"

* #lean opened my eyes to the power of #cs theory to check maths

Replied in thread

@infernusgoatus @Taweret @sweetmercury @MovieDivaJacki @dboisvert @DMX

I learned just barely enough prolog to solve today's murdle:

github.com/galaxor/murdle/blob

Here's a transcript of me running it.

| ?- [murdle].
compiling /home/michelle/Documents/src/prolog/murdle.pl for byte code...
/home/michelle/Documents/src/prolog/murdle.pl compiled, 68 lines read - 9523 bytes written, 3 ms

yes
| ?- murdler(P, W, L).

L = cafeteria
P = president_amaranth
W = bottle ? ;

(326 ms) no

GitHubmurdle/murdle.pl at b956b66bc89ba405f50fe623b2228104e07270cb · galaxor/murdleMurdle solving tools in Prolog. Contribute to galaxor/murdle development by creating an account on GitHub.

I need some #lisp help.

I'm stuck on a recursion exercise - have been for 2 days!

We're given a at a structure a list of lists, where each such list is of the form (person mother father) .. and so a lot of these together create a family tree.

I want to write a function lineage x y which returns a list of ancestors from x to y ... eg x, mother of x, father of prev, y .... or NIL if y is not an ancestor of x.

I found this easy in #prolog (I wrote this prologbyexample.blogspot.com/2 ) but not #lisp.

prologbyexample.blogspot.com7 - Introducing Recursion Recursion is an important technique in many programming languages, especially declarative languages like prolog. It enables elegant and ...

High Performance PostgreSQL for Rails by Andrew Atkinson is part of a 16-ebook $18 bundle! Pragmatic Bookshelf and Humble Bundle have made it available along with Practical A/B Testing, Designing Data Governance from the Ground Up, SQL Antipatterns Vol. 1, and others. Pretty sweet deal!

humblebundle.com/books/data-en

Humble BundleHumble Tech Book Bundle: Data Engineering and Management by PragmaticLearn all about data engineering and management with our latest collection of tech courses. Pay what you want & support Save the Children.

A famous example of #AutomatedScientificDiscovery is "Adam the Robot Scientist".

This is a machine, introduced in 2004 by Ross King and others, that can do biochemistry experiments on its own and smartly pick the next experiment to do. More precisely, it is a room full of robots and automated chemistry, growing yeast cells that have been genetically modified. The goal is to find out which enzymes are important in which parts of the chemistry of yeast. This is a puzzle, since when you switch off a gene and the enzyme it coded for, then you only see indirectly what happens to the yeast (some important substances fail to get produced). It is like a cross-word puzzle, and therefore #AI can help. Here AI came in the form of the logic programming language #Prolog, that can encode all the observations and rules.

The biggest achievement of the robot scientist is that it can be very clever in selecting the next step, focusing on the most informative experiment. This is essential, since running an experiment is costly and time-consuming.

The plot I love most in the 2004 paper is the classification accuracy plotted vs the logarithm of the experimentation cost in British pounds. 💷 🤣

Adam's follow-up robot is called "Eve", doing drug screening.

en.wikipedia.org/wiki/Robot_Sc
royalsocietypublishing.org/doi
(image below from this article, CC-BY-4.0)

Read more blog posts in this series: florianmarquardtmastodon.eu.py

@MPI_ScienceOfLight

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 🙂