unstruktured

very cool! maybe make a soccer one for world cup?

Technically you are right but too much mutation for my tastes and probably many other ocaml developers.

18 years ago? Holy crap I feel old. I remember how disruptive the very stable 3 to completely unstable 4 was.

There is absolutely no reason to use double semicolons in practice. The only place you really should see it is when using the repl.

Thanks for restoring my sanity. Was quite confused of the value added by the author.

To F# from what previously?

"Uh...the answer's not in the box, it's in the band".

I don't think he touched on whether server side is a more valid use case, but was nice to read someone elses take on using it for a desktop. Thanks for the contribution.

He did find functional programming to be sort of mystic so I don't know if I trust his take on assesing the nix language itself.

TLDR; just stick with ubuntu or arch unless you feel like experimenting

I wish they would at least rename the company to "ClosedAI" because that's exactly what it is at this point.

What, to you, is an ultra strong type system? Both OCaml and Haskell are used in plenty of non academic contexts. Do you mean something like Coq or F*?

Oh that's a solved problem since 1969. It's called "unix". Everything is a file which can be processed as a byte stream. Composition is a breeze- can't be any more general than that!

(I kid, mostly :)).

I think when people say safest they mean the safest "C like" language with zero cost abstractions.

Interesting point. I never inferred a strong connection between dependent types and the unification of records and modules. Maybe a real PL theorist around here can provide insights on that subject.

F* + 1ml (https://people.mpi-sws.org/~rossberg/1ml/) would be the ultimate experience. I was born too early!

macros can help with this if you can narrow down the traits you want to support.

https://doc.rust-lang.org/reference/macros.html

If you use Jane street's base, core, and async libraries, you already have most of the tooling you need.

Like matrix/element chat? https://matrix.org/

decentralized approaches would be resilient to that.

To me, implementing an async api using algebraic effects is the end game. Gets rid of the need of an async keyword and no monads required!

Big fan of kdenlive. I switched to it after one too many openshot bugs.

Admittedly I always want kde apps to be good but in this case it actually is. Openshot was easier to learn though, personally.

While we are on the subject, there's also neovim-qt: https://github.com/equalsraf/neovim-qt

Keep up the good work! I love KDE.

pypy and cpython don't mix well with each other so you have to create a whole new universe of packages for pypy. Interop with c libraries also adds complexity to the transition.

In addition, vanilla python is finally starting to tackle the worst performance problems (like the GIL getting removed for instance), so they might catch up to pypy eventually. There's also several different JITs installable into cpython systems these days too which is less painful than switching to pypy.

Personally, I am saddened pypy didn't replace standard python, but even in my own career I couldn't find a big speed difference in practice because all the heavy lifting utilizes C, C++, or fortran libraries wrapped by thin python apis.

Not familiar with said regulations, but Ada was a good example of not using C++ for these very reasons in a military context.

I like both OCaml and Rust, especially OCaml, but even after 2 years of Rust I'm still way more productive in OCaml. Unless it's absolutely essentially, I really don't want to have track the life times of my objects so explicitly.

Thus, Rust for me serves mostly as a C/C++ alternative. I don't plan to ever write anything in C again, and even if it's not my goto language otherwise, for that I'm thankful.

Been using Kubuntu nearly since it's inception and have always loved it.

For audio players I stubbornly prefer Clementine for it's lighter handed approach, although I guess I should give Elisa a shot now.

Would be curious to know someone who extensively used both Arch and Kubuntu and why they settled on one vs. the other. I recall Arch being the king of KDE integration initially but has that gap been closed?

Finally - any falkon users lurking around here? I use Brave for the most part but occasionally load up falkon to get that 100% kde themed experience.

You don't need personal reasons to dislike JS.

The author of that link references the top 25 bugs, one (#12) of which is Null pointer dereferencing- static typing outright eliminates that bug.

Not to mention that range checking is also fixable by using optionals rather than assuming the existence of a value.

Unfortunately the typed kwargs are NOT composable :(.

This is the year of the linux desktop! Finally!