https://jaalonso.github.io/vestigium/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Thu, 01 Oct 2026 12:59:59 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2024/12/30-readings_shared_12-30-24/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 30 December 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/12/29-readings_shared_12-29-24">Readings shared December 29, 2024</a>. #Haskell #Python #Math #AI #ITP</li> <li><a href="https://pcsc.dlsu.edu.ph/proceedings/main-conference/67.pdf">Formal verification of a custom scheduling algorithm and specification of a Round-Robin implementation using Coq</a>. ~ Christian Choa et als. #ITP #Coq #Rocq</li> <li><a href="https://pcsc.dlsu.edu.ph/proceedings/main-conference/54.pdf">Formal verification of shortest job first scheduling algorithm in Coq</a>. ~ Jian Lawrence Luteria et als. #ITP #Coq #Rocq</li> <li><a href="https://rocq-prover.org/">Rocq prover: A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more</a>. #ITP #Rocq</li> <li><a href="https://acatalepsie.fr/posts/haskell-dijkstra.html">Generalized Dijkstra in Haskell</a>. ~ Lucas Escot. #Haskell #FunctionalProgramming</li> <li><a href="https://courses.cs.northwestern.edu/325/readings/luv-slides.pdf">Tutorial on good Lisp programming style</a>. ~ Peter Norvig, Kent Pitman (1993). #CommonLisp #Programming</li> <li><a href="https://norvig.github.io/paip-lisp">Paradigms of artificial intelligence programming (Case studies in Common Lisp)</a>. ~ Peter Norvig. #eBook #AI #CommonLisp #Programming</li> <li><a href="https://github.com/chrisdone-archive/elisp-guide/blob/master/README.org">Emacs Lisp guide</a>. ~ Chris Done. #Emacs #Lisp</li> <li><a href="https://abuseofnotation.github.io/category-theory-illustrated/00_about/">Category theory illustrated</a>. ~ Jencel Panic. #CategoryTheory</li> <li><a href="https://www.cs.toronto.edu/~shaharry/csc236/resources/165.pdf">Mathematical expression and reasoning for computer science</a>. ~ David Liu, Toniann Pitassi. #eBook #Logic #Math #CompSci</li> <li><a href="https://www.maketecheasier.com/use-emacs-as-desktop-environment-linux/">How to use Emacs as a desktop environment in Linux with EXWM</a>. ~ Ramces Red. #Emacs</li> <li><a href="https://www.madrimasd.org/blogs/matematicas/2024/12/30/150806">Historias de la IA: los autómatas</a>. ~ Manuel de León. #IA #Autómatas</li> </ul>AICategoryTheoryCommonLispCoqEmacsEmacsLispFunctionalProgrammingHaskellITPLogicMathRocqhttps://jaalonso.github.io/vestigium/posts/2024/12/30-readings_shared_12-30-24/Mon, 30 Dec 2024 04:00:00 GMT