Gregory's Server
A book on compilers. Free for personal use:
I would also like to share Compiling with Continuations, but it's not free available.
|
Book series on formal verification of the programs, logic programming, theorem provers and coq. @abcdw worth noting: they are also available interactively online On the lalambda summer school a chip archiecture from Samsung asked me what's new in #lisp since 1980s. After a long talk, I asked him about #riscv and the summary is following: - RISC > CISC (perf/power consumption, required number of engineers, simplicity) Some mind blowing distributed Y-combinator for reactive fullstack app: https://dustingetz.electricfiddle.net/electric-fiddle.essay!Essay/electric-y-combinator  Very much looking forward to his presentation to the London Clojurians tomorrow (today your time if you are in the Middle East!) https://codeberg.org is blocked in Emirates. I guess it's to make me feel like at home. The lalambda summer school and modern lisps course are succesfully finished, I packed all my stuff and went to another country. I'll be in Emirates until mid of October. Let me know if you want to see me in person in Abu-Dabi or Dubai.
Show previous comments
\o/ Finally! Hurray! I packaged quite some KDE programs for gujx and made several attempts on bringing plasma to guix - and gave up. Glad someone did pick thus up and finished the work!  @abcdw Awesome. The author Z572 is an awesome guy. He has some "core" projects: guile scheme bindings for tree-sitter and for the Wayland protocol. Almost all of them are 60-70% finished. He does the hard work and gives the rest for community. I forked his guile-wayland to set it up properly myself (repl, fix build ...). Work slowly. https://github.com/shegeley/guile-wayland/tree/refactoring It seems @wingo doesn't completely agree with Magister Yoda. https://www.starwars.com/news/the-starwars-com-10-best-yoda-quotes initial cli setup can break in various fancy ways on different machines, downloads gigabytes of "random" stuff, often hangs on network instabilities, took a few hours to get everyone finished. @abcdw "Random" stuff feels harder to address, but recalling my own passion for Gentoo's use-flags, perhaps Parameterized Packages[1] will help packagers trim fluff in the long run. I'm preparing a dev environment for my modern lisps course for lalambda summer school and it's actually a pleasure. I constructed it in 30 lines of code and students only need to have guix installed, that's it.  @abcdw That’s nice! Do you happen to have a VM with Guix handy for them, so they don’t even have to install Guix? Does it work with Guix as an overlay instead of Guix as system?  Hygenic Macros without renaming. This is some pretty neat #scheme metaprogramming stuff. https://www-old.cs.utah.edu/plt/publications/popl16-f.pdf The days, when I have no electricity or internet reminds me why offline-friendly setups and asyncronous workflows are so good. However, those geeky email-driven and patch based tools doesn't save me from the absence of the water in the shower 🙃  @abcdw just in case if you're not familiar with this lifehack yet https://en.wikipedia.org/wiki/Flying_toilet Legally speaking I'm a tourist in Georgia, but I already have a legal entity here, personal and business bank accounts and even a driving license now! Quite welcoming experience. A nice and warm Sakartvelo.  It seems unison lang team is working on project/dependency management and released there first solution on the topic: https://www.unison-lang.org/whats-new/projects-are-here/ Unison is an interesting project and I like to see their development going well. I often find some cool ideas in it, which we will borrow and re-implement in our #lisp world someday :) We have released a 0.4.0 version of rde and it has guixy, but graphical AF Live CD! Announce: https://lists.sr.ht/~abcdw/rde-announce/%3C87pm5dt9ik.fsf%40trop.in%3E Project web page: https://trop.in/rde/ ISO image: http://files.trop.in/rde/ @abcdw Congratulations! Promoted a little: https://unixforum.org/viewtopic.php?p=1360703#p1360703 🙂 Utilization of funding in FOSS projects are magintudes higher than in commercial products. Amount of work and things achieved per $ (€ or whatever) seems literally 1000x bigger comparing to modern proprietary sofware. At least I have such perception at the moment from looking at various FOSS projects and their accounting data and comparing it with salaries and fundings/investments in companies I know about. |
