Email or username:

Password:

Forgot your password?
552 posts total
Andrew Tropin

The explanation on what is happenning with #scheme language r7rs standard at the moment:
dpk.io/r7rswtf

The work on r7rs-large is tough, but I hope it will go through this hard times.

#guile #lisp #pl

Andrew Tropin

Found a nice talk on concurrency. It has a very brief comparison of different concurrency models, like Erlang's Actors, Hoare's CSP, Go's goroutines, Clojure's core.async, Concurrent ML (aka Fibers in Guile).

Primary focus on Concurrent ML (but examples are in Scheme with type annotations ><).

youtu.be/pf4VbP5q3P0

#go #golang #clojure #lisp #guile #scheme #ocaml #concurrency #erlang

Show previous comments
Detlev Zundel

@abcdw Ah, from Michael Sperber. I think I ran across his name for the first time in the vicinity of the scsh project - which I still cherish highly πŸ˜‚

Thanks for the link - it is on my to view list now!

Michael Misamore

@abcdw Actors and CSP cover the first four of those. Not sure about ML.

Andrew Tropin

Some news on the R7RS-large:

John Cowan says that he is exhausted by the efforts to reach agreement among many players and can't serve as Chair of the project anymore.

IDK, how it will affect the R7RS, but I'm glad that he listens to his feelings and takes care of himself.

Many thanks to him for his great work. Take care.

groups.google.com/g/scheme-rep

#scheme #lisp

Andrew Tropin

During the following month I want to make a few pair programming sessions (one, maybe two per week) with different people.

1. To work more focused on particular tasks and projects.
2. To see how other people work and learn from peers.
3. To share some experience.
4. To cleanup and optimize inefficient workflows.
5. To talk with folks in person, not only via toots/emails.

Like 2 hours informal coding session.

Toot if you would like to hack with me on your task or mine! :)

Preferably #scheme.

During the following month I want to make a few pair programming sessions (one, maybe two per week) with different people.

1. To work more focused on particular tasks and projects.
2. To see how other people work and learn from peers.
3. To share some experience.
4. To cleanup and optimize inefficient workflows.
5. To talk with folks in person, not only via toots/emails.

Like 2 hours informal coding session.

Camel

@abcdw
I'd rather like to see quick and practical Shadowsocks in Guix stream 8-[

Franco Albornoz

@abcdw This is very helpful. I really struggled to get it right the first time for Mullvad VPN last year.

Andrew Tropin

If you are into programming languages, learning Ocaml (or other ML dialect like StandardML) makes a lot of sense, it's helpful for reading papers, watching conference talks, understanding basics of type theory, going through PL courses and all other fancy stuff.

Here is a good introductionary course on OCaml and functional programming:

cs3110.github.io/textbook/cove

youtube.com/playlist?list=PLre

#ocaml #pl #lisp #fp #functionalprogramming #types #typetheory #semantics

If you are into programming languages, learning Ocaml (or other ML dialect like StandardML) makes a lot of sense, it's helpful for reading papers, watching conference talks, understanding basics of type theory, going through PL courses and all other fancy stuff.

Here is a good introductionary course on OCaml and functional programming:

blake shaw πŸ‡΅πŸ‡Έ

@abcdw I read this course a few years ago, its really great. OCaml is a good balance of safety and pragmatism

Andrew Tropin

Through my life I have visited around 20 countries and I dream someday to write down my trips somewhere.

One of the tools I found for this matter is this nice FOSS web frontend on top of OpenStreetMaps:
leafletjs.com/

It doesn't mean I will go crafting some travel blog now, I just like to share cool FLOSS projects and technologies.

#foss #floss #js #web #map #openstreetmap

Andrew Tropin

Discussing privacy, ethics and knowing about and controlling what programs does I was told a few times in my life that there is no much difference between Open Source and Proprietary Software.

> Because linux, chromium, jdk is so complicated that nobody can comprehend them and this implies that there are a lot of backdoors, telemetry, CVEs(?) or whatever malicious or potentially dangerous functionality in this software as well.

[1/2]

Andrew Tropin

While it make some (only partial!) sense, it seems there is a straw man fallacy (it's not exactly my original statement) and probably a bunch of data and researches defeating even this new point.

I can remember at least this one: theverge.com/2021/4/30/2241016

If you remember other good arguments, researches or just data, please share.

[2/2]

Andrew Tropin

The funny things about really good software projects, that sometimes they are so good and complete already that there is no fuss around them, they just work and do the job done.

Mailing lists are quite, new commits are rare. Sometimes it can even feels that they are unmaintained or dead, but in fact they are more than alive.

notmuchmail.org/
passwordstore.org/
wireguard.com/

What other cool "almost complete" projects do you know?

#notmuch #pass #wireguard

The funny things about really good software projects, that sometimes they are so good and complete already that there is no fuss around them, they just work and do the job done.

Mailing lists are quite, new commits are rare. Sometimes it can even feels that they are unmaintained or dead, but in fact they are more than alive.

Show previous comments
Chucho :gnu: :freedo: :guix:

@abcdw The one I don't use is notmutch and it was because I didn't take the time to learn but now you posted this I got interest on it.

shemeshg

@abcdw

#pass #passwordstore
1. it is very hard to communicate using mailing list and not modern github.
2. #pass is used as best practice for other implementations like #gopass, sourceforge.net/projects/pass-. because no
3. no An open standard that is openly accessible and usable by #gopass, #prs #PassSimple for example

- How would you recommend username field in pass YAML - "username" mybe "ueer name"or just "user"
- how should public keys folder be named ".public_keys" or maybe other name...

@abcdw

#pass #passwordstore
1. it is very hard to communicate using mailing list and not modern github.
2. #pass is used as best practice for other implementations like #gopass, sourceforge.net/projects/pass-. because no
3. no An open standard that is openly accessible and usable by #gopass, #prs #PassSimple for example

dgr

@abcdw congratulation. I just got my first Guix install to work on my "new" ThinkPad x280 as I was unable to get rde installed directly.

Andrew Tropin

I like articles that were written more than 10 years ago, but are still relevant. This is true ever green content.

Andrew Tropin

A quick dive into Y combinators and how to make a recursion without referencing a function by its name.

youtu.be/kIppahbBkns

#scheme #lisp #ycombinator #lambda

Andrew Tropin

Mind-blowing client server programming approach.

youtu.be/v-GE_P1JSOQ

The idea applicable not only to #webdev. Would like to see something similiar in #scheme.

#lisp #clojure #web

nthcdr

@abcdw

That was long but interesting. I've always shunned clojure, because watching from the shores of common lisp land it seemed toyish with it's awkward deviation from usual lisp syntax while the java connotation left me with a sinking feeling I was right about to trip and fall into a sea of patterns, factories and xml.

No doubt you can build cool stuff with it though. It's like smalltalk seaside and lisp had a baby really. Next generation stuff.

Andrew Tropin

We added Sway Notification Center to rde and slightly integrated it with Emacs.

It is keyboard controllable, has do not disturb mode, notifications are actionable.

Finally, I can do other things while waiting for compilation to complete and get back to work as soon as it finished.

git.sr.ht/~abcdw/rde/tree/fc2d

git.sr.ht/~abcdw/rde/tree/fc2d

github.com/ErikReider/SwayNoti

#rde #guix #emacs

We added Sway Notification Center to rde and slightly integrated it with Emacs.

It is keyboard controllable, has do not disturb mode, notifications are actionable.

Finally, I can do other things while waiting for compilation to complete and get back to work as soon as it finished.

git.sr.ht/~abcdw/rde/tree/fc2d

Andrew Tropin

Also we did a small fix related to notifications in Emacs upstream. Now notification icon can be provided by its name according to Icon Naming Specification, not the path.

git.savannah.gnu.org/cgit/emac

#emacs

Andrew Tropin

Sometimes I want to give up on my FOSS journey and find a "real" job.

It maybe demotivating to read, but it's how I feel sometimes.

Go Up