vu3rdd is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

vu3rdd @vu3rdd@octodon.social

vu3rdd boosted

This is a really important time to push free and open source alternatives to ! I've considered using @Liberapay, but was afraid I had to use Patreon to get the network effect.

Please tell people about , post about it on Reddit (r/patreon), vote it up on Alternativeto, etc alternativeto.net/software/lib

Please boost! This kind of opportunity to topple a near monopoly with FLOSS does not come often!
Are there other FLOSS platforms?

Read the first chapter of the Type Driven Development using Idris book by Edwin Brady. Dependent types are mind altering! Happy to be living in this era and learning about these wonderful things in an otherwise depressing area of "software engineering".

Solved with a tiny function!

> decodeWithLeftOvers (pack "d8:msg_typei1e5:piecei0e10:total_sizei34256eexxxxxxxx")
Right (Bdict (fromList [("msg_type",Bint 1),("piece",Bint 0),("total_size",Bint 34256)]),"xxxxxxxx")

Without dropping down to lower levels of the parser, I wonder how to get to unconsumed input.
```
> decode (pack "d8:msg_typei1e5:piecei0e10:total_sizei34256eexxxxxxxx")
Right (Bdict (fromList [("msg_type",Bint 1),("piece",Bint 0),("total_size",Bint 34256)]))
```
Now how do I get to the "xxxxxx.." part of the input in Parsec?

I find the 'ut_metadata' extension (bittorrent.org/beps/bep_0009.h) of bittorrent to be badly written and a little hard to implement.

For eg, take a look at that 'data' message. The actual data is *appended* to the dictionary. The total length of the message has already been read in by the receiver of the message. To get to it, one has to calculate the size of the encoded bdict.

It would have been a lot nicer if the payload were part of the dict as a separate key-value pair.

Lots of great p2p projects on the web. Sadly they are all nodejs based. I proudly keep my machine npm-free (for no particularly rational reason, btw).

Started using org-capture to write todos and journals. Almost a week now and I really really like it.

You see, there are nice side effects to being forced on Windows. One naturally find alternatives and now I mostly live inside emacs.

Things "mainstream" social media does not report: the afghan all-girls robotics team did land in the US (after a last minute intervention from the president of the usa) and did well in the competition!

en.wikipedia.org/wiki/Steven_M

'It has been asked: How come everyone in this photo is smiling except Dennis Richie? trb responds "That's easy. Because we were with Dennis, and he was with us."'

identi.ca (or rather ostatus) does not provide an rss feed?

Confession: I don't use a "cloud" password manager because I don't trust any of them.

I just use the standard Firefox password manager. I really wish it comes with a password generator as well.

I like keepassx and the Pass. Is there an easy path to migrate my firefox-stored password into one of these above password managers? A 5-minute search didn't turn up a definitive answer.

So, my 9 year old's "Computer Science" text book is full of screenshots of M$ Office and Windows. There is one tiny chapter on Logo (again with a lot of screenshots of MSW Logo).

I plan to write to Central Board of Secondary Education asking for a rethink of the curriculum with some suggestions along with this link: gnu.org/philosophy/government-