Viewing profile — timdeve

It appear to download windows on the fly from Microsoft's server and uses trial keys [0] [0] https://github.com/dockur/windows?tab=readme-ov-file#is-this...

This appear to use https://github.com/dockur/windows which is a VM inside a Docker container? Otherwise looking at the code this feels like something that could be a short bash scr…

This is really lovely. Would be great as an inspiration tool if it would make a little visualisation of the notes/accent/slides on a piano roll. I can read the JSON meanwhile but j…

The gendarmerie have their version of Ubuntu so they may go for something similar. Not that different part of the French government communicate or help each other...

Looks good, I'm gonna try to swap readability in my RSS reader with this. And with Pocket going away I might have to add save it later to it...

Made my own, made it easy to add different type of clients (TUI, Android, Web) and display cleaned up articles.

Yeah I would really like Pine64 to take a stab at this form factor. I guess the closest is the keyboard for the pinephone but that's a tiny screen.

The goal is certainly to have a language suitable for "real-time applications" (read games/audio), that's not my area of expertise however so your definition of real-time might not…

Don't get too hung up on the "lisp" in that title. I think the language would better be described as statically typed, with s-expr syntax, inspired by Clojure|Rust|ML and with a li…

That's correct, concurency is not supported right now. I have a POC for using pthread but essentially the borrow checker is not aware of it and so it's quite unsafe. Note: I'm a co…

I'm not sure what you mean by optional parenthesis. I'd say optional separators are a legacy feature, I don't think anyone writes Carp with separators. Note: I'm a contributor.

As other people have said Bootleg + Hickory. Here is an, admitedly not very clean, example that grabs stream urls from hltv.org: https://github.com/TimDeve/.dotfiles/blob/master/sc…

I've been using it for quick web scrapping scripts and it's really nice.

I have a small babashka script to pull some news from my terminal and I have had good result doing something like this: curl article-url | readable | w3m -T text/html Where readabl…

I wish that the Clockwork Devterm was this form factor.

The quality of the switches in logitech product in the past few years has become laughable. I am currently using a 8 years old 502 because the newer one I got broke after nine mont…

`let` is for declaring variables while `the` is a noop at runtime and only give type information to the compiler.

Carp is statically-typed with type inference so writing (the Int x) would be enough for the compiler to forbid any usage of x as another type. Writing (Int.+ x 1) would accomplish …

That is also the case in Carp, x being an expression here.

You're correct, somewhat like clojure's Vector, the default collection at runtime in Carp is an Array which is heap allocated C array with an attached length. At compile time howev…

Yes, exactly, it's because of Structural Typing that you have to implement Phantom Types in that hacky way rather than Structural Typing being the "trick".

Thanks, the screenshots were quite out of date actually so I updated them.

Miniflux sounds like a better, more complete version of my side-project[1], I had rolled my own at the time because I wanted offline caching but it's obviously not that useful anym…

I've been having tons of fun lately making GBA games, it's far enough from my webdev day job to be intellectually stimulating. I'm quite impressed with people saying they use to bu…