Viewing profile — miguelsm

The Search Space (Logic Programming and related themes.) https://thesearch.space/ Advent of Computing (The history of computing.) Very Bad Wizards https://www.verybadwizards.com/ N…

The whole of ferret's source code is in a single org-mode file, following the literate programming style: https://github.com/nakkaya/ferret/blob/master/ferret.org

This is already a thing in Clojure/Script, using datalog instead of SQL. Syncing datoms between Datascript (and/or Datahike [0]) on the front-end and Datomic on the back-end can be…

I found out about her through this very insightful interview recorded as a series of short videos: [1] https://webofstories.com/play/joan.feynman/1 [2] https://m.youtube.com/playli…

This reminds me of open-ui [1]. The goal of that project is also to tackle fragmentation and allow interoperability between component frameworks and design systems. How does UI Pla…

You can also check out shadow-cljs which has great support for React Native development. I've been able to easily keep my project up to date with the latest React Native versions. …

Adventure in Prolog by Dennis Merritt teaches you different features of Prolog in a step-by-step manner while developing a game.

I agree that the experience of querying EAV databases using SQL can feel cumbersome [0]. But Datomic's dialect of Datalog [1] is a great fit for EAV and can produce much more reada…

Mezzano [1] is written in Common Lisp and can be run on Virtualbox and QEMU. [1] https://github.com/froggey/Mezzano

Here's an XCB version: https://github.com/rtyler/tinywm-ada/blob/master/tinywm-xcb....