Readings shared March 28, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25 #AI #Calculemus #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Philosophy #Programming #Prolog

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!

https://www.humblebundle.com/books/data-engineering-and-management-pragmatic-books

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.

https://en.wikipedia.org/wiki/Robot_Scientist
https://royalsocietypublishing.org/doi/10.1098/rsif.2021.0821
(image below from this article, CC-BY-4.0)

Read more blog posts in this series: https://florianmarquardtmastodon.eu.pythonanywhere.com/?account=%40FMarquardtGroup%40fediscience.org&hashtag=AutomatedScientificDiscovery&message=Florian's%20Blog:%20Automated%20Scientific%20Discovery

@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

Another month, another conference.

#libobscura will be a topic at #FOSDEM !

https://fosdem.org/2025/schedule/event/fosdem-2025-6184-libobscura-cameras-are-still-difficult/

I'll dive a bit deeper into the mobile side of the camera problem compared to my #ccc38 talk. If I have time left, there will be a quick demo of #Prolog-driven capability querying :D

Gerade hat das #Christkind in #Nürnberg den #Weihnachtsmarkt eröffnet. Gut hat sie es gemacht. Bewirbt man sich für diese Rolle, muss man nicht nur in der Stadt leben, sondern unbedingt auch schwindelfrei sein.

#AI programmers programming in #Python when they should have used #Prolog all along...