Wondering if a volunteer could go to the physical location necessary to restore service. If it’s in Athens Greece, I can make the trip.

Edit: The server is located in Azores, the flight would cost 415eur, I cannot afford that, maybe someone in Portugal could help?

I ended up setting up a postal server on my vps (see here). Their docs are pretty easy to follow through and it’s probably the cheapest option (assuming you already use the and have a domain).

Are there any other, less biased, sources on the topic?

After skimming through the decision of the arbitration comitee, I feel there more than a few inconsistencies in the article.

A quick google search revealed only Isreal friendly sources covering the decision…

DataLog is used to verify smart contracts. I don’t know any specific examples of prolog used in the industry, though I am sure there are a few. Probably, there are expert systems implemented with prolog that are still used.

Logic programming in general has a few usages, the unification algorithm is used for pretty much every type system. Also, it is quite good for verification systems. For example, I know some symbolic execution systems implemented in OCaml.

While the consumption for AI train can be large, there are arguments to be made for its net effect in the long run.

The article’s last section gives a few examples that are interesting to me from an environmental perspective. Using smaller problem-specific models can have a large effect in reducing AI emissions, since their relation to model size is not linear. AI assistance can indeed increase worker productivity, which does not necessarily decrease emissions but we have to keep in mind that our bodies are pretty inefficient meat bags. Last but not least, AI literacy can lead to better legislation and regulation.

Gitea and forejo are doing some amazing work

They made meow meow beans?

Here is a list of note-taking apps:

https://github.com/tehtbl/awesome-note-taking

By the way, I am building my own Journaling system, it’s still early stages and I am looking for ideas!

Has anyone gone through the documents? Any interesting findings? Is it time to create a website?

Typing in python leaves a lot to be desired… Being looking at peps for quite some time, but it’s really hard for the language to make progress without breaking compatibility.

Hopefully at some point MOJO becomes mature enough to use in a professional setting.

I am not using Jenkins anymore but this seems like a lifesaver, thanks for sharing

Unless you are using groovy (jenkins), then you are running the pipeline to find syntax errors.

Jack Dorsey, good or bad?

(bonus points if you get the community reference)

neither, I am autistic, it’s not a choice, it’s a need.

You spelled Fin Tech Bros wrong

It’s astonishing how quickly the golden age of information is turning to the dark age of misinformation.

Most people get over it during uni when everyone is arguing over “X vs Y” language or “vim vs productivity”. At some point you realize how pointless these debates are and continue with your life.

For anyone wanting to publish their code, remember it’s probably better than most OSS code. If you don’t believe that go read a python or js library:

1. python’s celery for example has hard coded timeouts on every control operation
2. react mui has so overcomplicated types that they break webstorm inspections
3. I once found a typing hack on an python library where they reversed a string in order to conditionally import types only when mypy was running in order to avoid cyclic imports.

I still love those libraries, use them at my work and will recommend them to anyone with similar needs as I.

Last but not least, if you aren’t using git something is wrong with you 🤣.

good question, probably the transpiled code does not match the optimized js. Maybe, if they targeted the same js version as js version they are benchmarking, the results would be equivalent?

Also, if they are using a node version with ts support, it will compile the ts before execution which means they are measuring the impact of the compiler, which can be a lot for small snippets.

last week I had misconfigured my auto-format and it was leaving commas and whitespaces. The amount of “WHAT HAVE YOU DONE???” comments I got were of the chart.

There was a linter in place, I literally could not merge unless the issues were fixed, yet people felt compelled to point them out.