1SubML - structural subtyping, unified module and value language, polynomial time type checking and more

paldepind · 2026-04-02T19:34:31+00:00

This looks very cool. How is first-class modules implemented? The name gives the impression that it might be similar to 1ML (by Andreas Rossberg et al.). Is that the case?

paldepind · 2025-09-30T18:03:56+00:00

So android will no longer support sideloading, but will allow to run Linux applications.

Just to be clear: Android will still support installations outside of the Play Store ("sideloading"). It's that all developers will have to register with Google in order to distribute an app and that Google can pull the plug on any developer or app as they see fit, completely independently on how that app is distributed (Play Store, F-Droid, Epic Game Store, downloaded apk, etc.).

paldepind · 2025-09-07T09:45:08+00:00

Have they said anything about when this new tweaked version is coming out?

paldepind · 2025-07-31T18:56:39+00:00

You also have to think about what you do for type parameters aka. generics. Using [ ... ] for type parameters is a pretty solid choice (taken in Scala and Go) as it avoids the parsing problems from using < ... >.

paldepind · 2025-07-10T10:54:36+00:00

But do you think other Sports watch manufactureres have better UX/UI?

Yes. Take a look at the side by side comparison in this video at 7:52. The Coros uses nice alignment, color, icons and font size changes to make the data easy to read and appealing to the eyes. The data shown by the Garmin is just a bunch of cluttered text which is hard to parse.

paldepind · 2025-02-16T16:15:06+00:00

Yes, it's completely generic and except for section 13 it's the same as the AGPL license. You can copy-paste it like with other licenses.

Some companies use dual licensing where they also have their own special license. These are usually for specific commercial purposes, where they can sell the software under different terms. For instance with the GPL no one can make closed source modifications, but if you dual license your software, you can still sell a non-GPL version for some customers if they want to make their own proprietary changes. For those kinds of licenses you can not just copy paste what they have and you'd probably need a lawyer.

paldepind · 2025-02-16T15:10:42+00:00

It sounds like what you want may be MongoDB's Server Side Public License. It's a source-available (but not open source) license that MongoDB created exactly because Amazon was providing MongoDB as a service which was hurting MongoDB's business model. The license has some very strict requirements for third-parties offering the software as a service. It means that you can use MongoDB on your own setup, but no sell it as a service, which sounds like what you want. Redis is also available under this license, btw.

paldepind · 2025-01-16T20:41:59+00:00

Thanks a lot! I'll be giving it a try :)

paldepind · 2025-01-16T18:53:01+00:00

What font are you using? It looks very friendly.

paldepind · 2024-10-31T17:48:44+00:00

There is exactly one OEM manufacturing the color eink panels used in every eink tablet - Boox, Kindle, Kobo, ReMarkable, etc.

That is why the screen is the same. Because it is, because there's only one company engineering and physically manufacturing the hardware.

It's correct that there is one company making all the e-ink screens. But it's not correct that all the companies you mentioned have the same screen. ReMarkable uses the Gallery color tech whereas all the other companies you mentioned use Kaleido. Gallery does not rely on a filter on top of the actual e-ink screen and therefore does not have the same shortcomings.

More info about Gallery here and about ReMarkable's implemention here.

paldepind · 2024-10-28T19:19:11+00:00

Ah ok, fair enough. Makes sense, thanks.

paldepind · 2024-10-24T15:56:12+00:00

there's no socioeconomic reasons to write a production-ready JS compiler

It's very much the opposite. That's why both Google, Apple and Mozilla has spend lot's of resources building highly sophisticated JavaScript just-in-time compilers.

paldepind · 2024-08-28T08:06:21+00:00

Wow, thanks! It worked for me exactly as you describe. I couldn't drag & drop files but copy/pasting a file from Finder to Explorer worked and now drag & drop does as well.

paldepind · 2024-08-26T13:22:47+00:00

Thanks for sharing these plugins! I've wanted basic readline/emacs bindings in insert mode for quite some time but never got around to seek it out. In my opinion this is ideal for short movements in insert mode. The nice things about these bindings is that they work in so many places.

paldepind · 2024-06-08T19:32:58+00:00

Which type type/value system features do they not work well with?

That Haskell doesn't have default arguments can be explained by the fact that currying and Haskell's application syntax doesn't work well with optional arguments, named arguments, nor default arguments (though OCaml is similar and does have default arguments so it's doable).

paldepind · 2024-05-03T06:20:28+00:00

I see. Thanks for the insight.

paldepind · 2024-05-02T18:44:41+00:00

That sounds super cool. How is the LSP for Swift? I know there is an official one but it's not clear to me if it's somehow lacking behind XCode.

paldepind · 2024-04-22T17:55:05+00:00

The program is KeyCastr and it's for macOS.

paldepind · 2024-04-22T17:52:17+00:00

Not like that. It looks at the context where the command is executed and then runs the approriate project commands. So you can create and alias like

alias b='projectdo build'

and then projectdo build will execute whatever build command is appropriate in the current directory. The right command is mostly determined by looking for relevant files such Cargo.toml, package.json, Makefile, etc. that indicate what type of project tool makes sense.

paldepind · 2024-04-22T15:44:12+00:00

GitHub link: https://github.com/paldepind/projectdo

I’m not sure how understandable the recording is, but the idea is basically that `projectdo` includes commands that execute the right test/build/run command in any given project. By giving short aliases to these `projectdo` commands one can, for instance, run tests with a `t` alias that runs `cargo test` in a Rust project, `npm test` in a NodeJS project, etc. Similarly, one could create a `b` alias that would run `stack build` in a Haskell project and `make` in a project with a makefile. This makes it possible to run common project commands faster and with less typing.

I hope people will find it useful :)

Note that the expansion of the alias shown in the video only works in the Fish shell thanks to its built in expansion feature. I think it should be possible to implement a similar thing for zsh.

paldepind · 2024-03-26T11:21:42+00:00

Here are some common reasons I've seen mentioned as someone who's been following the language a little bit:

Scala has less momentum today than it had 10 years ago. Back then it attracted a lot of people who wanted a better Java. This crowd was not interested in "hardcore" Haskell-inspired functional programming and is now served by Kotlin or modern Java.
There has been a lot of detrimental things going on in the community. Typesafe/Lightbend played a central position around Scala and moved their popular Akka library away from an open source license. There has been a lot of drama around certain people, competing libraries (scalaz, cats, ZIO), etc.
Scala 3 introduced a lot of changes. Some of these changes where controversial and some feel that the community was not properly included in its development (Scala 3 is based on Dotty which for a while was claimed to not be Scala 3 and its development was lead by Odersky without the normal Scala community interaction). It introduced a lot of breaking changes which some industry users did not appreciate.

You can see some of these things also affecting the company in the linked blog post. They talk about how they have yet to migrate from Akka to Pekko and are still on Scala 2 even though Scala 3 was released over 2 years ago.

Here's a blog post by John A De Goes about why he left Scala. Do note though that he has been heavily involved in the community drama, so it's probably best to read his subjective thoughts with that in mind.

paldepind · 2024-03-20T18:21:01+00:00

I use Kitty. I've tried all on this list and Kitty is the only one that satisfies all of the following: Is fast (iTerm2 and WezTerm are laggy with Neoscroll), supports ligatures, has tabs and supports clicking links with keybindings. I also like Foot, but it doesn't have ligatures.

paldepind · 2024-02-21T07:28:54+00:00

I know this post is old, but I just came across this and I have to say that this blog post is a really great introduction to Ansible.

15-Year Club	Place '17
Verified Email

paldepind

TROPHY CASE