Damus
Andrew Tropin profile picture
Andrew Tropin
@Andrew Tropin

Hack on operating systems and programming languages. He/Him.

Improve tooling for Guile and Guix.

Author of Guix Home, RDE, Arei/Ares Guile IDE.

74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.

#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs

Relays (1)
  • wss://relay.ditto.pub โ€“ read & write

Recent Notes

atyh · 18h
to what? masochist 2.0?
atyh · 18h
this is a joke only NATO Matrix batteries would understand
Andrew Tropin profile picture
I didn't figure all the details about usual algebraic effects and we already have bidirectional ones ๐Ÿ˜…

Trying to mimic the control flow of the examples in the paper using delimited continuations I found out a cool pattern:

Inside the prompt handler you can re-install the prompt and this way you get a "multi-shot prompt".

Working with continuations I wanted it so many times and only now I realized how to implement it :blobcatfacepalm:

https://www.cs.cornell.edu/andru/papers/ufo/

#scheme #lisp #cs #cornell

Andrew Tropin profile picture
SRFI 269: Portable Test Definitions is finalized.

Yeah, it's final! It won't change anymore! :)

1.5 years of work, dozens of interviews and talks, hundreds commits, thousands of words and LOCs.

Now people can start adapting it. In the meantime, we will post articles, make stream and videos.

https://srfi.schemers.org/srfi-269/

The most suitable implementation is `suitbl`, of course.

https://git.sr.ht/~abcdw/guile-ares-rs/tree/master/item/src/guile/ares/suitbl

My deepest gratitude to @nprofile1q... and @nprofile1q... for funding this work! ๐Ÿซถ

#guile #scheme #lisp
Andrew Tropin profile picture
The older I become the less capable my brain and memory become. The less context I can load into my working memory the better abstractions I choose and simpler code I write.

TLDR: The older and stupider I'm, the better my code.
Andrew Tropin profile picture
Very creepy situation in the bank F.

I was waiting in the queue to open an account and in meanwhile was looking for airplane tickets. After a couple minutes of skimming tickets agregator web site I recieved an SMS from adjacent travel service of the bank F: get a cheaper airplane tickets in our superapp <link>.

I'm connected to the internet via cellular network. I didn't have VPN/proxy enabled at the moment.

I doubt it's a coincidence.