Jeko @jeko@framapiaf.org

This is really neat: an online collection of programs that can pass the type checker but fail at runtime, in a bunch of languages (Java, Scala, OCaml, Haskell, Rust): https://counterexamples.org/runtime-misinformation.html

It also discusses the design tradeoffs that led to these behaviours.

Andy Wingo: “Cross-module inlining in #Guile”:
https://wingolog.org/archives/2021/05/13/cross-module-inlining-in-guile

Some rough edges, but another impressive achievement!

#C programming, #machine-code generation, #assembly, ISAs and a lot of fun.

#riscv migration of #lightening code generation library used in #guile.

Live at:
https://twitch.tv/ekaitzza

Support this at:
https://www.buymeacoffee.com/ekaitz

🎉 Here is my deep review of the @XPPEN Artist 24 Pro on GNU/Linux!
- Peertube: https://peertube.touhoppai.moe/videos/watch/17599386-f4c9-41e7-8a94-83ae09540a93
- Youtube: https://youtu.be/0QEnRWNIjtU
- Blog-post: https://www.davidrevoy.com/article841/ (with technical how-to and install guide)
#kubuntu #linux #krita #digimend #xppen

about tracepointing in #guile I posted this

https://lists.gnu.org/archive/html/guile-user/2021-05/msg00029.html

I'd be glad if anyone here would chime in

#GNU #Guix 1.3.0 is out, woohoo! 🎉

👉 https://guix.gnu.org/en/blog/2021/gnu-guix-1.3.0-released/

Lots of good stuff in there: usability improvements, performance improvements, #POWER9 support, and more!

#scheme Announcing foof-loop, an extensible, fast looping facility in mostly-standard scheme (but currently guile-only)... | http://redd.it/n9xpov

#GNU #Guile 3.0.7 was released today! 🎉
https://gnu.org/software/guile/news/gnu-guile-307-released.html

If fixes a bunch of bugs, some of which were directly relevant to the #Shepherd and to #Guix.

🎉 GNU Guile 3.0.7 has been released 🎉

https://lists.gnu.org/archive/html/guile-user/2021-05/msg00026.html

#gnu #guile #scheme #lisp #guix

Who wants to code some C code with me?

I'm in pain so let's code and forget!

https://twitch.tv/ekaitzza

Stream starting in the following minutes, stay tuned.

RISC-V support for a code generation library used in Guile and other cool JIT compilers!

Now I'd like to give people the option to financially support #WriteFreely without having to pay for a Write.as subscription. So today I'm launching an Open Collective page for anyone who would like to support the project.

https://opencollective.com/writefreely

which linux and/or FOSS related publications would you recommend?

BTW: the other day I opened a buymeacoffee account because you know... I have to eat and all that...

If you like my content or my code or anything I do, you can buy me a kebab or something

https://www.buymeacoffee.com/ekaitz

📢 A second Release Candidate (RC 2️⃣) for the upcoming GNU Guix 1.3.0 release is now available for testing.

Please report success, failure, and annoyances in this
thread:

https://lists.gnu.org/archive/html/guix-devel/2021-05/msg00192.html

You can also report any issues to https://issues.guix.gnu.org/ if you prefer.

Happy testing!

#GNU #guix #GuixSystem #linux #linuxlibre

Looking for a job in free software? PKT is looking for a Project Manager! PKT is a blockchain project focused on making internet access more accessible, low-cost, and decentralized. Learn more at https://u.fsf.org/3bg.

“Everyday Use of the #GNU #Guix Package Manager”, by System Crafters’ @daviwil:
https://www.youtube.com/watch?v=Xy0YgnXFt1M

Great intro to everything you need to know to get started and beyond! 👏🏽