timdeve

6 ms·

1.
by timdeve 1y ago
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...
2.
by timdeve 1y ago
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 script wrapped in a electron app.
3.
by timdeve 1y ago
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 just an idea.
4.
by timdeve 1y ago
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...
5.
by timdeve 1y ago
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...
6.
by timdeve 2y ago
Made my own, made it easy to add different type of clients (TUI, Android, Web) and display cleaned up articles.
7.
by timdeve 4y ago
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.
8.
by timdeve 4y ago
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 be different than mine. As it compiles
9.
by timdeve 4y ago
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 lispy language accessible for use in macros. B
10.
by timdeve 4y ago
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 contributor.
11.
by timdeve 4y ago
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.
12.
by timdeve 4y ago
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/scripts/gen... Also
13.
by timdeve 4y ago
I've been using it for quick web scrapping scripts and it's really nice.
14.
by timdeve 4y ago
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 readable is https://www.npmjs.com/packa
15.
by timdeve 5y ago
I wish that the Clockwork Devterm was this form factor.
16.
by timdeve 5y ago
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 months...
17.
by timdeve 5y ago
`let` is for declaring variables while `the` is a noop at runtime and only give type information to the compiler.
18.
by timdeve 5y ago
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 the same as Int.+ only accepts Int. You can also annotate fu
19.
by timdeve 5y ago
That is also the case in Carp, x being an expression here.
20.
by timdeve 5y ago
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 however the dynamic language uses more standard lispy
21.
by timdeve 6y ago
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".
22.
by timdeve 6y ago
Thanks, the screenshots were quite out of date actually so I updated them.
23.
by timdeve 6y ago
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 anymore in our current work-from-home world... [1] https:&
24.
by timdeve 6y ago
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 built games when 12, some of the stuff in tonc
25.
by timdeve 6y ago
As someone who works on Carp, it seems we're going for one level of abstraction higher than what this is aiming for. It's pretty easy to do C interop but the goal isn't to write "C in S-expressions". Doesn't me
26.
by timdeve 6y ago
You should check out Carp[1]. The language is still young but it might scratch that itch. [1] https://github.com/carp-lang/Carp
27.
by timdeve 6y ago
Love Carp, the fact that it compiles to C means it can run everywhere like embedded (GBA[1], ATSAMD51[2], esp8266[3]) but is also expressive enough that you could build web apps with it[4]. It's very pre-v1 though so expect breakage an
28.
by timdeve 6y ago
Switched to Feedly and used it for years after Google Reader died, I think it's pretty good. I wanted offline reading though so I ended up rolling my own [1], it's a bit rough and I don't really need the offline thing since I
29.
by timdeve 6y ago
Prezto default prompt (soren) is async.
30.
by timdeve 6y ago
If you are interested in game development and lisp, may I suggest having a look at https://github.com/carp-lang/Carp ? It's "A statically typed lisp, without a GC, for real-time applications.", the Gitte

More ›