Show more

Nim 1.2.0 released 

https://nim-lang.org/blog/2020/04/03/version-120-released.html

> This release contains around 600 new commits which have not already been backported to our 1.0.x versions. There are several new features and standard library additions compared to 1.0. We tried to keep breaking changes to a minimum, but some bugfixes weren’t possible without making those necessary changes, and we feel that our users will benefit from them.

#nim #programming #release

Does anyone use a Kobo e-reader? Is it true that the only way to get EPUB books onto a Kobo is by wiring a USB to a regular computer?

As of today, we have started our transition to hosting all our online infrastructure on the cluster!

Say hello to our new IRC server at irc.pine64.org!

Matrix homeserver and more are soon to come.

What’s the GarageBand (easy multitrack audio recording software) for Linux (Ubuntu)?

that the Redis database CLI will display a version-specific piece of generative art in response to the command `LOLWUT`

COVID/Coronavirus posts, even memes, request 

Folks, please CW your #COVID19 / #coronavirus posts, even the memes. A lot of people are feeling a lot of anxiety and fear because of this. Sharing stuff like that without a CW is not being mindful of them.

Otherwise, you're part of the problem.

Thanks. 👍

re: Programming 

@Eden @alva Many of us who started writing code in the 80's know how to write working assembler.

That doesn't mean that assembler is a great choice for sensitive applications. If anyone ways it's impossible to write correct code in assembler or C, they are indeed idiots. But that doesn't mean there are better choices if the goal is to minimise critical errors.

I'd also like yo point out that certain people (especially Rust fans) tend to believe that the only type of errors that can cause critical failures is memory overruns. Memory errors doesn't happen in any major programming language (except for C and C++) so it's really not an interesting problem to solve.

Formal verification is interesting, and can help, but writing formally verified code is very expensive so it's reversed for the critical code. Also, formal verification only verifies that the program behaves according to the specification. It does not ensure that the specification correctly described the requirements.

Lobster.s: Tools that made you productive or saved you time: lobste.rs/s/lg2cmt/tools_made_

Mostly git-related tools, but not entirely.

My boss needs to not email me at 4:15 pm on a Friday, or ever.

I wrote a couple new reverse proxies for web apps over the last couple weeks, called sniproxy and httpdir, because I couldn't find anything I was happy with. Here's my blog post explaining why: jamey.thesharps.us/2020/04/24/

So I'm about to send out my weekly newsletter and just realized that it's a low-key anniversary today:

tech.lgbt is unofficially three years old today! I say unofficially because I did kinda maybe rebuild it in November 2017, but this still marks three years of my own Mastodon instance!

POLL: Which general-purpose textual data format do you prefer by default?

(Feel free to discuss/argue/rant in replies.)

~ $ .guix-profile/bin/racket -v
Welcome to Racket v7.6.

:blobmelt:

is a source code line counter.

cloc (Count Lines of Code) is a program that recursively looks through all files in a source tree and counts up various stats. cloc recognizes blank lines, comments, and actual source code from many languages. cloc outputs totals by language in a human-readible form but also supports percentage, CSV, and other output formats.

Website 🔗️: github.com/AlDanial/cloc

apt 📦️: cloc

To everyone who worked on improving @gnome's performance in the past two years: thank you. It's really a world of difference.

I LOVE games that only allow you to play the single-player mode when you’re logged in #internetofshit

@charlag @Gargron you are right in pointing something here: people with huge IDEs (think IntelliJ) Vs people with plain editors would design languages differently

Show more
Fosstodon

Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.