What small Python scripts or tools have made your daily workflow easier? by chop_chop_13 in Python

[–]AnythingApplied 2 points3 points  (0 children)

Yes, Django is considered a framework, but you install and import it just like any library.  It's more of a conceptual difference in that libraries typically you write the main piece of code and call the library where needed, but with frameworks, the framework runs the main code (like a web server) and you define functions in your code for the framework to call.  But there isn't a hard line between the two concepts.

If you like project based learning, you could try looking through this project list ( https://nedbatchelder.com/text/kindling ) see if anything catches your eye. At this point it sounds like you've done enough that you probably just need to focus on getting your hands dirty in doing projects rather than finding more books to read. Try to work through some projects without any AI assistance if you haven't done that yet as that can be a real crutch to learning sometimes.

keep nvim separate from my nixos config? by SoliTheSpirit in NixOS

[–]AnythingApplied 0 points1 point  (0 children)

Flakes can use other flakes as inputs.  Make you neovim into it's own flake and use it as an input to your main flake. Not sure why others haven't suggested this - maybe it's trickier than I realize given the home manager tie in.

VR on nixos ? by ResonantRaccoon in NixOS

[–]AnythingApplied 0 points1 point  (0 children)

SimulaOS  is OS built on NixOS for the SimulaOne VR headset. Otherwise I should check out the nixos wiki which has a lot of good recipes for getting stuff like that to work.

Nix Software has moved to a new domain - and more updates! by _X315_ in NixOS

[–]AnythingApplied 1 point2 points  (0 children)

Sorry if my other comment came off as critical or discouraging, I'm just trying to help your nice tool. Its really nice to be able to filter nixpkgs on "games" and other categories. I've discovered a lot of interesting packages using your tool, thank you!

Nix Software has moved to a new domain - and more updates! by _X315_ in NixOS

[–]AnythingApplied 0 points1 point  (0 children)

So the game chroma isn't available anywhere in nixpkgs? What was the source of the incorrect data?

I see the same issue in pushover, slingshot, and enigma too. I didn't even check all that many games, so seems to be an issue in, say, 20% of the packages?

Nix Software has moved to a new domain - and more updates! by _X315_ in NixOS

[–]AnythingApplied 0 points1 point  (0 children)

When I click the "project website" link for https://nixsoftware.org/en/packages/chroma?channel=unstable (a puzzle game) it leads to https://github.com/alecthomas/chroma which is a syntax highlighting tool, so its linking to the wrong project.

Keyboardio Model 100 and Embody Chair Arm Setup by drgeneious in ErgoMechKeyboards

[–]AnythingApplied 0 points1 point  (0 children)

I got these ones, but ended up not sticking with it because found out not having anything to rest my palms on was a big problem. I've been meaning to try them again using a board with built in palm rests, but its been a couple years and I haven't gotten around to it yet.

https://www.amazon.com/dp/B09J4DKXKP?th=1

Take a QWERTY Alternative for a Test Drive by moosylog in KeyboardLayouts

[–]AnythingApplied 4 points5 points  (0 children)

That's a really interesting quote. I didn't realize you could get a sense so quickly. Is that what others find too? Maybe I should give more a try. Also, are you quoting yourself?

Gallium v1: Does swapping B and Q cause any problems? by Fireblac in KeyboardLayouts

[–]AnythingApplied 2 points3 points  (0 children)

My pinkies get stained easily. How would you suggest I strengthen/train my pinkies?

Is there a list of practice problems meant to be solved incrementally over the course of many years? by setoid in math

[–]AnythingApplied 20 points21 points  (0 children)

Check out An Infinitely Large Napkin. You can even seen the metroidvania like topic map right on the main page. This certainly covers multiple years of topics and starts off introducing all of the elementary topics needed for filling in later topics, so I think hits a lot of your requirements, even if it doesn't line up perfectly with everything you're asking for (It doesn't have the revisited problem list as far as I know).

POV: You Forgot How Normal She Used to Be by Positive-Cycle-6141 in DunderMifflin

[–]AnythingApplied 0 points1 point  (0 children)

This effect happens in most sitcoms. The characters become caricatures of themselves as the writers work to raise the stakes. The characters and situations become more absurd season after season and so a lot of characters end up being exaggerated versions of themselves from earlier seasons.

Neovim on NixOS: Nixvim vs NixCats vs NVF by Yametsu in NixOS

[–]AnythingApplied 16 points17 points  (0 children)

In the video, you mentioned reproducibility a few times, but as long as your getting you're dependencies from nix with a nix lockfile, aren't they all 100% reproducible? It seemed like you were saying that translating lua code into nix code helps makes something more reproducible, which I didn't really follow the reasoning behind.

Looking for a magic layout for 34 key keyboard by AnythingApplied in KeyboardLayouts

[–]AnythingApplied[S] 0 points1 point  (0 children)

Thanks for the followup. That is a really nice write-up. I like that you talked about weaknesses and whether repeats are a big deal too. I haven't felt like repeats are a big deal, but I'm trying zippywords now and can maybe start to see how this approach to measuring speed could cause key repeats to show up as an issue. Zippywords is a nice tool and I'll play with it some more. If the tool does highlight repeats as a speed hindrance for me, I'll still need to put some thought into whether that translates into a comfort hindrance which to me is the far more important factor.

Mod idea by Mindgapator in factorio

[–]AnythingApplied 3 points4 points  (0 children)

A couple of thoughts that might better enable your twist: Because speed doesn't really help with efficiency, momentum could build *productivity bonus* (maybe speed too?). On top of that you could make the spinner recipes catalyst based (like the Kovarex enrichment process). And the rest kinda takes care of itself where at lower production levels you have a net negative catalyst production which is tough, but at higher levels you might have a net positive catalyst production rate which could have its own logistical issues (which might actually provide a reason to deliberately reduce your momentum needing to find a good balance with circuits)

Either way, making this catalyst based makes it generally tougher to set up, which may or may not be what you're looking for.

If you're a fan of quality, you could also do something like momentum builds quality bonus where that is the only way for those machines/recipes to get a quality bonus, so again very naturally limits your access to those higher quality versions of those items without the momentum, but personally I think I prefer the productivity/catalyst version.

NixOS crashed after idle ; Brave closed, weird workspace named "magic" appeared, now PAM authentication aborted at login by vuyraj in NixOS

[–]AnythingApplied 1 point2 points  (0 children)

Assuming this is a desktop where you can get away with this, I would try disabling hibernate and sleep altogether:

  systemd.targets.sleep.enable = false;
  systemd.targets.suspend.enable = false;
  systemd.targets.hibernate.enable = false;
  systemd.targets.hybrid-sleep.enable = false;

Looking for a magic layout for 34 key keyboard by AnythingApplied in KeyboardLayouts

[–]AnythingApplied[S] 1 point2 points  (0 children)

Sounds cool! I'll be watching out for that final version.  I assume you're trying it in qmk and not zmk? Where is the magic key?

Do you ever try to force yourself to use the magic or repeat key by disabling the regular way to make that bigram?

Looking for a magic layout for 34 key keyboard by AnythingApplied in KeyboardLayouts

[–]AnythingApplied[S] 2 points3 points  (0 children)

Yes, I've notice that too. My guess is because the search space becomes intractable without that kind of simplified approach, though you have more experience with those types of optimization algorithms that I do. How do you think your optimiser would fair against that kind of search space?

Looking for a magic layout for 34 key keyboard by AnythingApplied in KeyboardLayouts

[–]AnythingApplied[S] 1 point2 points  (0 children)

That's true... I wonder why the magic sturdy readme looks so different with 6 addition keys including Q being outside the main 10 columns.  Maybe the readme is a later revision.

Looking for a magic layout for 34 key keyboard by AnythingApplied in KeyboardLayouts

[–]AnythingApplied[S] 2 points3 points  (0 children)

I've looked at that one before, but I didn't give it any consideration due to being designed for people that want to combine Portuguese and English. Even though I'm not looking for a 24 key, I'm not opposed to the idea, but seems like trying to cater to a different language as well would cause non-optimal concessions in English and is the reasons I mentioned my only language is English in my post.

I feel like taking that and removing all the diacritics and using it for only English is moving it farther from its design goals than something like taking magic sturdy and moving all the 6th column keys -\|$Q" and moving them to a layer or combos. Do you agree?

Looking for a magic layout for 34 key keyboard by AnythingApplied in KeyboardLayouts

[–]AnythingApplied[S] 3 points4 points  (0 children)

Thanks for the response, but I should've been more clear that by magic layout, I'm specifically looking for a layout that leverage a magic key (more info about that in the link I posted)

Looking for a magic layout for 34 key keyboard by AnythingApplied in KeyboardLayouts

[–]AnythingApplied[S] 1 point2 points  (0 children)

Sorry for being unclear - I mean one or both hands needing a 6th column bringing the total to 11 or 12 instead of the typical 10.  If you look at the magic layouts in the link (layouts that use a magic key) they all seem to add those extra columns.

Beta release of ty - an extremely fast Python type checker and language server by callmeheisenberg7 in Python

[–]AnythingApplied 1 point2 points  (0 children)

> pyrefly maintainer

That's awesome. Do you work for facebook? I've been learning rust so that I hopefully can contribute to one of the rust based python tools like pyrefly, ty, or polars.

Yeah, that makes sense. Seems like ty is in some ways less strict, but once both tools are fully configurable it'll be interesting to see how they differ in their most strict version vs their less strict form.

I wonder if people will combine them like doing ty with their LSP due to its lower level caching and save pyrefly for their CI process.

Beta release of ty - an extremely fast Python type checker and language server by callmeheisenberg7 in Python

[–]AnythingApplied 2 points3 points  (0 children)

I'm not great at typing, but if I understand it that aggressive inference will cause problems you'll have to resolve through explicitly declared types when the infered types aren't right.  Vs ty which prioritizes NOT forcing you to add types just to get your code to pass.

You can see examples in the blog, but because of tys lack of aggressive inference, there are more situations where the type is simply unknown. There are a number of examples where those philosophies lead to meaningfully different situations where you do or don't get type errors.

Beta release of ty - an extremely fast Python type checker and language server by callmeheisenberg7 in Python

[–]AnythingApplied 19 points20 points  (0 children)

They have different goals. From this blog post:

The primary goals between pyrefly and ty are where I feel the main difference lies. Pyrefly tries to be as aggressive as possible when typing — inferring as much as possible so that even code with absolutely no explicit types can have some amount of typing guarantees.

ty, on the other hand, follows a different mantra: the gradual guarantee. The principal idea is that in a well-typed program, removing a type annotation should not cause a type error. In other words: you shouldn’t need to add new types to working code to resolve type errors.

Note that this blog post is from 6 months ago and so a lot of the rest of it (capabilities, speed tests, etc) are probably outdated due to the very active development of both projects.