miguelsm

6 ms·

1. 1.▲
   by miguelsm 4y ago

   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/ Notion Tools & Craft So
2. 2.▲
   by miguelsm 5y ago

   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
3. 3.▲
   by miguelsm 5y ago

   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 almost trivial, and there are libraries like Dats
4. 4.▲
   by miguelsm 6y ago

   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/playlist?list=PLVV0r6Cm
5. 5.▲
   by miguelsm 6y ago

   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 Playbook compare to it? Do you think collaboration between the
6. 6.▲
   by miguelsm 6y ago

   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. Plus with shadow-cljs you also get access to all of npm
7. 7.▲
   by miguelsm 7y ago

   Adventure in Prolog by Dennis Merritt teaches you different features of Prolog in a step-by-step manner while developing a game.
8. 8.▲
   by miguelsm 7y ago

   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 readable and simpler queries. [0] https://gist.gi
9. 9.▲
   by miguelsm 8y ago

   Mezzano [1] is written in Common Lisp and can be run on Virtualbox and QEMU. [1] https://github.com/froggey/Mezzano
10. 10.▲
    by miguelsm 8y ago

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