Oh ok, that’s neat! Thanks

You may wish to look into NixOS or GNU Guix as taking the same ideas to the logical conclusion, or stal/ix which aspires to take a more traditional approach and in that way is perhaps closer to Gobo. All three are very much alive and actively maintained, even thriving by some metrics.

Sure, I appreciate that it’s more complicated due to there not being a connected road graph in the same way as there is for other modes of transport. But at the very least showing the main transit arteries (metro & light rail) prominently would already go a long way, if nothing else than to help identify places by their nearest transit stop.

If I’m honest it’s breathtakingly beautiful. I’ve been around most of Europe and some of Asia, and the only comparable places are Swiss Alps and the Himalayas; however, Georgia is much cheaper than the former and more developed/safe than the latter. It’s also quite tiny but heterogeneous: within a day’s drive you can go from (slightly underwhelming) Black Sea through amazing forests into wild mountains, back down to vineyards and sunflower fields, through a volcanic plateau with otherworldly landscapes and then bathe in hot springs under the starry sky. There’s an insane density of buildings and ruins from dozens of different cultures and epochs, all the way from bronze age to medieval Georgian to Russian colonial style to Soviet-era constructivism. I don’t drink wine but I’ve heard that it’s quite amazing too. My only gripes is that the country might be backsliding into authoritarian rule, and the locals are welcoming but “conservative” (bigoted) to the extent that it’s straight up dangerous for LGBT people to visit.

For usable public transport routing the router would need to know the timetable, and that data is not available in osm.

Not necessarily. At least here, transit (metro + buses) is typically rapid enough that you don’t have to worry about timetables much, unless you’re really in a hurry; I’ve done a few trips using OsmAnd’s public transport routing and it worked just fine, and it doesn’t know about timetables.

Also, most towns publish not only their timetables but often the live locations of their buses & trains with GTFS; I wish more apps supported it, at least by offering to manually add the URL of the transit operator you’re using.

In case someone has a JOSM preset and wants to merge it into the NSI, here’s a (very hacky) script to do that: https://github.com/balsoft/josm-ge-preset/blob/70033d097a72f54602b903878b2a89228bbc5dbb/toNSI.py

You’ll definitely want to change the commonEntryKeys = { "locationSet": {"include": ["ge"]} } to your country, and maybe some other things too.

What annoys me even more with both osmapp and lokjo is that they show neither metro stops/lines (unless you zoom right in) nor bike paths (at all), and there’s no option to enable it. Also neither of the apps allow you to make routes via public transit. Apart from feeling car-brained, this makes those apps functionally useless for navigating in bigger cities for more than a couple kilometers (and I say that as someone who has a car; I’m not spending my life in traffic, public transit is much faster, easier, and eco-friendly!)

Back when I was in Russia I’d say it’d be Suzdal, famous for the density of churches and other traditional architecture; or Tarusa, known for that one song that everyone seems to know a couple of lines from, Gorodok (here is a random rendition I found just now), both with just under 10k pop according to the wiki. And, as a bit of a stretch since it’s not a town and most people would call it Solovki, Solovetsky settlement, famous for being a prison, with about 800 people. Also Oymyakon with under 600 people, the coldest settlement on earth if you’re into that sort of thing.

Now in Georgia, I’d say Borjomi with just over 10k pop famous for its water, and Bakuriani (just over 1800 people) for its water and the ski resort. Again a bit of a stretch, but I guess everyone in Georgia at least also knows the ski resort of Gudauri at just under 100 people, as well as mountain resorts of Gomismta and Bakhmaro, both with no permanent residents due to the rough winters. Geography nerds will also be familiar with Ushguli, (arguably) the highest inhabited settlement in Europe, population 220.

Typically this is true, but it’s certainly possible to get comparable performance with functional style

It’s possible, but you have to specifically write code that’s fast, rather than idiomatic or ergonomic, and you have to know what you’re doing. At that point, you may have been better off writing it in something else. I feel like OCaml is good at this because it allows you to write abstractions and main control flow in a functional way and hot paths in an imperative way without switching language, but so is Rust.

Carp, which I linked above, basically uses the same approach to memory management as Rust. It doesn’t rely on GC.

I’ll take a look, thanks!

I also find that for most cases it really doesn’t matter all that much unless you’re in a specific domain like writing drivers, making a game engine, etc. Computers are plenty fast nowadays, and ergonomics tend to be more important than raw performance.

I mostly agree with you, e.g. Haskell and Clojure, despite being “slow”, are plenty fast for what they’re used for. On the other hand, I’m very much annoyed when “user-facing” software takes way too long to load or do simple tasks. Java in particular is pretty bad at this: JOSM (Java OpenStreetMap editor) takes longer to load than my entire desktop startup, including a window manager and browser. Unfortunately it’s also the best editor around, so I pretty much have to use it to edit OSM, but it still annoys me to no end. Unnecessary computations, IO inefficiencies and layers of wrapping also affect the power consumption quite noticeably.

Modern C compilers are a fascinating blend of functional and imperative, that’s true; and I didn’t say that C is “close to how the modern architectures work”. However, mainstream modern architectures are almost always engineered with C in mind primarily, and this is also acknowledged in the article you’ve linked. Rust, having a lot of similarities to C in terms of its underlying memory model, calling conventions, and control flow primitives, can often benefit from those hardware patterns and optimizations in a way that’s more difficult to replicate with a functional language (especially so given most of them are GC-d due to their memory model). The closest I’ve seen in terms of easy-to-write-quick-code is OCaml, but even there the fast paths are often written in a very much imperative style. Idris2 also seems promising if they manage to get a GC-less mode working. Maybe also Roc, but I’ve not taken a look at it yet.

Note that I write all of this as someone spending a lot of their work time programming in a functional language (Haskell), with Rust being mostly for hobby stuff. It just always surprises me how much easier it is to write fast code in Rust, and yet also how much of my Haskell intuition was applicable when I was learning it.

I agree that they fit different niches! My point was that with modern CPU architectures, imperative languages make it much easier to write fast&efficient code just because the hardware was pretty much engineered with C in mind. IMHO Rust offers the best of both worlds when it comes to systems/low-level dev.

TBH Rust is pretty nice, it borrows (pun intended) a lot of ideas from the functional world (algebraic data types, traits, closures, affine types to an extent, composition over inheritance, and the general vibe of type-driven development), but it’s much easier to write fast, efficient code, integrate with decades of libraries in imperative languages, and the ecosystem somehow feels mature already.

If you’re determined to join a group like this, the Nix/NixOS Matrix is a better option since it’s already 4k+ strong.

It’s also official and its logs are published here: https://logs.nixos.dev/ so the discussions happening there should (at least in theory) show up in search results instead of disappearing forever.

I think there ought to be a way to do it, it’s not going to be pretty (because you’ll likely have to manually update some system file somewhere).

So, here’s my attempt

The first portion (^.?$) matches all lines of 0 or 1 characters.

The second portion (^(..+?)\1+$) is more complicated:

1. (..+?) is a capture group that matches the first character in any line, followed by a smallest possible non-zero number of characters such that (2) still matches (note that the minimum length of this match is 2)
2. \1+ matches as many as possible (and more than 0) repeats of the (1) group

I think what this does is match any line consisting of a single character with the length

• divisible by some number (due to the more than 0 condition in (2), so that there have to be repeats in the string), that’s not
  • 1 (due to the note in (1), so that the repeating portion has to be at least 2 characters long), or
  • the length itself (due to the more than 0 condition in the (2), so that there is at least one repetition)

Therefore, combined with the first portion, it matches all lines of the same character whose lengths are composite (non-prime) numbers? (it will also match any line of length 1, and all lines consisting of the same string repeated more than one time)

90s-late 00s cars are actually on repairability in my experience, because they already have computers which help you diagnose failures easily with a $20 OBD2 scanner (this saved my ass a couple of times, when I could almost immediately see the error whenever my car died, fiddle or re-plug the wiring of the failed component and keep going), and they don’t yet have all the over-complicated, designed-to-fail, hard-to-reach crap that a lot of new cars have.

I haven’t used it in a while, but I think it just sends you an SMS with a code that you can enter manually, so yeah it works on devices without a SIM

I mean, yeah, it’s nix profile install nixpkgs#vscode and it should kinda work. Although to run it, you might have to also do nix profile install github:nix-community/nixgl --impure and then run vscode as nixGL code because of video driver awfulness.

I think you should still pass --cmd Hyprland to it, no?

I’ve been using nheko as my Matrix client and main Telegram client via mautrix-telegram for the past 4 years. I fixed a couple of annoying bugs myself, and it has been working great for me since. Shame your experience isn’t the same, maybe you can report the bugs to the devs (who are amazingly responsive).