Email or username:

Password:

Forgot your password?
552 posts total
Andrew Tropin

@daviwil I realized what you meant, when said emacs-next-tree-sitter doesn't have pgtk support! :)

It was a small reorganization of emacs packages recently, so I guess we also need to inherit emacs-next-tree-sitter from emacs-next-pgtk. Testing this change rn.

David Wilson

@abcdw cool! I'll be happy to use pgtk and tree sitter at the same time :)

Andrew Tropin

Has anyone managed to run Guix System on pinephone? Share your experience.

Please boost! 🙂

@PINE64 #pine64 #pinephone #pine #guix

Evan J Rowley

@abcdw @PINE64 I would love to know this too. Both Guix and PinePhone are awesome. I know it's been done with NixOS on the PinePhone. Attempts seem to have stalled with the PinePhone Pro: github.com/NixOS/mobile-nixos/

Andrew Tropin

This week I go to Turkey for 2-3 weeks to negotiate a contract. It can become a first contract for our FOSS business.

It is a first step to make it sustainable and at the same time I really hope we won't trade an ethical aspect of it in any future.

#foss #floss #rde

ricardo :mastodon:

@abcdw Best of luck! You've got this! May the #FOSS be with you :linus:

Andrew Tropin

> Similarly if you want to hack something really delightful, go to what the hackers hacked back before they had mortgages -- and what they still hack on in their free time.

From @wingo's post on guile history.

wingolog.org/archives/2009/01/

Andrew Tropin

The root of understanding complex thing is knowing what you don't need to understand.

Andrew Tropin

More monads in guix.

A nice evening reading on guix scheme api and functional programming tricks for managing side effects.

guix.gnu.org/en/blog/2023/diss

#monads #guix #guile #scheme

Andrew Tropin

After a few years of rde development and contributions to Guix, I finally started to learn Scheme 😄

#rde #guix #scheme #guile

Andrew Tropin

Skeemed throught Scheme Primer.

Good introductionary material by @cwebber: easy to read, practical, no bs, covers all necessary fundamentals, shows how to implement Scheme evaluator in Scheme.

spritely.institute/static/pape

#scheme #guile #lisp

Andrew Tropin

I don't know how people stay sane programming in c++ under Unix.

Bryan Redeagle

@abcdw I don't think anyone working in technology is sane. Regardless of what they do.

nurettin

@abcdw Maybe it has to do with hefty paychecks.

Andrew Tropin

I finished road to FOSS Business 30 days stream series and made a summary on the results youtu.be/HMv5D00zudI.

Thank you very much for all the support!

There is a lot of work to be done, but I still have some time and I'm optimistic about achieving the goal of building an ethical and sustainable business. Will see how it goes.

David Wilson

@abcdw Congrats on reaching the 30 days! I bet it wasn't easy streaming every day consistently

🍒🌳 Hartmut Goebel

Appreciating your work, anyhow you may want to rethink whether using YouTube meets "ethical and sustainable".
@abcdw

Edit: heavy typos

Andrew Tropin

I saw @civodul's and @ArneBab's discussion of possible #lang directive support in future version of Guile in #guile IRC.

Sounds very exciting!

#scheme

Ramin Honary

@abcdw @civodul @ArneBab
That would be pretty cool! "#lang wisp" at the top of the file. I don't know if I would ever use it though, I love me some parens, and the structured editing that comes with it.

Andrew Tropin

I'm so much tired, so I'm going to workout.

Andrew Tropin

If you want to cleanup guile's repl state for some particular module, you can do (module-clear! (resolve-module '(your module here)))

#guile #scheme #til

Andrew Tropin

When I read half of the Haskell book and already thought it was easy, I went to the local hackerspace to haskell seminar and was met by Applicative-Functor-Monad-Type-Inference all that thing.

#haskell #monads

Ramin Honary

@abcdw The #Haskell syntax is easy, that is for sure.

Functors, Applicatives, and #Monads are best learned by example, in my opinion. When I first learned about them, they were so simple that I thought I was missing something. Knowing their definition (which is very simple) doesn't help one understand how it relates to modeling computational procedures until one actually sees examples of how these concepts are used for that purpose.

Andrew Tropin

Haskell is Useless. Very nice, cozy and warm talk. Quite old, but still relevant and even a little prophetic. About FP, STM, and trends in computing and programming languages in general.

youtu.be/iSmkqocn0oQ

Andrew Tropin

I guess during last a few weeks my Lisp preference list changed from:

Clojure, Scheme, Common Lisp, Emacs Lisp.

to

Scheme, Clojure, Common Lisp, Emacs Lisp.

I still find Clojure much more pleasant and elegant out of the box, but Scheme seems more and more future-proof to me.

#clojure #guile #scheme #lisp #emacs #commonlisp

Show previous comments
Andres Moreno

@abcdw

I really like Clojure's data structure literals and some of the nice thoughts behind them, e.g., using map keywords as functions. Or relational algebra in sets. These little things make Clojure programming really nice.

OTOH, I find the hosted language baggage a bit off-putting: every now and then I have to think about the JVM (e.g., heap size) and there is a bid of impedance mismatch when using OO Java libraries.

Scheme--just beautiful but maybe not as productive?

Dionysius

@abcdw Do you write some another software in Guile, except Guix scenarios?

blake shaw 🇵🇸

@abcdw when you look at projects like Chez, Guix, Racket and plenty of others where a comparatively small group of people have continuously improved and innovated a codebase/ecosystem for several decades, the future proof nature of scheme becomes clear.

GHC contributor Alexis King's talk at SIGPLAN shows all the tooling that practically falls out of the bottom of Racket which Haskell is lacking, but she attributes this to Racket, as if it weren't officially a scheme just a decade ago

youtu.be/H0ATppFmt2o

@abcdw when you look at projects like Chez, Guix, Racket and plenty of others where a comparatively small group of people have continuously improved and innovated a codebase/ecosystem for several decades, the future proof nature of scheme becomes clear.

GHC contributor Alexis King's talk at SIGPLAN shows all the tooling that practically falls out of the bottom of Racket which Haskell is lacking, but she attributes this to Racket, as if it weren't officially a scheme just a decade ago

Andres Moreno

@abcdw

I take it geiser works well on Guix. I saw a post a while back that claimed otherwise--didn't seem credible.

Andrew Tropin

Keep improving tooling for tests for guile scheme in Emacs, join me live: trop.in/stream

#guile #scheme #emacs #rde

prozacchiwawa

@abcdw been watching progress on guile in emacs for a while. good luck!

Andrew Tropin

All the bits of Tree-sitter now landed on Guix master! You can try it out with emacs-next:

guix shell emacs-next tree-sitter-html -- emacs

Open html file, M-x html-ts-mode RET M-x treesit-explore-mode RET.

25 grammars are packaged already, but emacs have smaller number of -ts- modes available ATM.

Thank you everyone for the work!

issues.guix.gnu.org/49946

#guix #emacs #treesitter

[DATA EXPUNGED]
Nicolas Martyanoff

@abcdw The more I read about Guix, the more I want to give a try. But the lack of FreeBSD support is a showstopper; I'm reluctant to invest in a package solution that I cannot use in production.

Are there fundamental aspects of Guix which makes it impossible to run on FreeBSD?

[DATA EXPUNGED]
Andrew Tropin

Nice! I didn't have electricity at home and had to stream in public place, so my mic catched some background music (barely noticable) and I got a bunch of copyright claims and video about the work on testing framework for Guile Scheme now blocked in a number of countries. I don't know how to react to it :)

The recording on PeerTube:
diode.zone/w/j1DghTkomdn9fEg5q

#youtube #peertube

oatmeal 🐧

@abcdw dystopian… background music. Somehow I’m sure it’ll only get worse in the future

Go Up