Email or username:

Password:

Forgot your password?
588 posts total
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.

Andrew Tropin

Sending email via gandi.net became really slow (like a minute for msmtp to finish or more). Is it for everyone or just me?

#gandi

lnlsn

@abcdw It's working good here(Brazil) with gnus and claws-mail

Andrew Tropin

A book on compilers. Free for personal use:

compilerbook.org

I would also like to share Compiling with Continuations, but it's not free available.

#book #books #compiler #compilers #llvm #gcc

Andrew Tropin

Book series on formal verification of the programs, logic programming, theorem provers and coq.

softwarefoundations.cis.upenn.

#book #books #coq #logic #verification

JJ :blobblackcat:

@abcdw worth noting: they are also available interactively online
coq.vercel.app/

Andrew Tropin

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)
- RISC-V is basically a MIPS with some minor fixes and refactoring.
- RISC-V > ARM/MIPS due to absent of architecture fees.
- All major big techs incorporating RISC-V in their devices.
- RISC-V is growing, hyping and will keep growing.

Go Up