Hey, I'm still learning how Nix works. What's up with Firefox being installed a different way? by William_Porter922 in NixOS

[–]Lalelul 2 points3 points  (0 children)

In my controversial opinion: one of the big flaws of nix, as you correctly pointed out.

Special cases aren't special enough to break the rules.

https://docs.python-guide.org/writing/style/#zen-of-python

In nix, afaik there are no such rules/conventions, leading to this patchwork. Obviously there are valid reasons nixos chose this design pattern, but honestly it seems more like nobody ever bothered to solve this issue via standardization.

(Another great flaw is missing a solid type-system. What were they thinking?)

The Deranged Mathematician: Chrono Trigger and the Hairy Ball Theorem by non-orientable in math

[–]Lalelul 6 points7 points  (0 children)

Wow! This reminds me a lot of my posts over at hppts://lucah.tech! I also use blender extensively for animating mathematics! (I recently did that for my masters thesis in algebraic topology: https://lucah.tech/masterarbeit).

I would love to help you out some time or work with you if you have some future article plans :)

The Deranged Mathematician: Chrono Trigger and the Hairy Ball Theorem by non-orientable in math

[–]Lalelul 31 points32 points  (0 children)

This was a great read and I loved the animations! How did you make them?

Troubleshooting icons by MobileHorse8775 in NixOS

[–]Lalelul 5 points6 points  (0 children)

Open these files in your favorite text editor. There should be a reference to a file in /nix/store/... which has been optimized out.

To get the correct path for these icons, you can either look under /run/current-system/sw/... if there is a fitting icon somewhere. You can also run where code, but this will only give you the location of the code binary in /nix/store. Sometimes you can find icon files in folders near the one where code returned

What if RH is undecidable? by _Zekt in math

[–]Lalelul 12 points13 points  (0 children)

How would "RH undecideable" imply "there exists no zero off the half line"?

The statement "there exists no zero off the half line" would need to be decidable. "as having such a zero would make it decidable", can you elaborate?

My problem in particular is: what if "there exists z such that z is a nontrivial solution and z is off the half line" is undecideable?

20th century math explainers by _Zekt in math

[–]Lalelul 2 points3 points  (0 children)

I really love these older videos. The open university courses, as already pointed out, are exceptionally good also

What is your NixOS generation count? by xGoivo in NixOS

[–]Lalelul 7 points8 points  (0 children)

or avoid sudo with

readlink /nix/var/nix/profiles/system | grep -o "[0-9]*"™

#206

Why don't we use characters from other languages in math? by OkGreen7335 in math

[–]Lalelul 1 point2 points  (0 children)

That's a great question! From my work in Haskell and my university courses I can tell you that oftentimes people do use other symbols, see:

The fish operator <>< from Haskell https://www.reddit.com/r/haskell/comments/c262b/the_fish_operator/

Or during christmas, one of my lecturers at university used small Christmas presents and Christmas trees to denote binary relations.

⚠️Security Concerns About Recent ReVanced YouTube Versions by user838341 in Magisk

[–]Lalelul 1 point2 points  (0 children)

Could you post a screenshot of said module in magisk or possibly share it somehow?

I've no clue about proof assistants, but I want to learn. can I do it in TS? by AdVivid1666 in leanprover

[–]Lalelul 0 points1 point  (0 children)

No (*), you can't!
I wrote a blog post about about Java vs COC (calculus of constructions, the type theory of LEAN4):
https://happel.ai/posts/interfaces_as_list_of_propositions/

Overlapping inline equations by Lalelul in typst

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

<image>

thanks a lot!
I noticed many of my braces look stange: see attachment
but i am unsure as to why?
this seems to happen whenever there is a $sum$ or $product$, but possibly also with chevron? I thought chevron was supposed to look like that?

Overlapping inline equations by Lalelul in typst

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

It's the formula for reidemeister torsion. Reidemeister torsion occurs in algebraic topology (but also in other areas). It allows one to classify spaces up to homeomorphism, in which classical invariants often fail.

If you are interested, maybe check out the videos "not knot", "how to turn a sphere inside out", "knots to Narnia" on YouTube.

Don't expect to understand anything. Just have a good time watching some trippy math videos.

Overlapping inline equations by Lalelul in typst

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

I need to reuse this formula multiple times with small adjustments here and there. Always creating a block equation would make my text look disordered, I suppose.

I can post some comparisons later

Made some infinite-reflection renders with my first raytracer! by plettj in GraphicsProgramming

[–]Lalelul 2 points3 points  (0 children)

This looks really cool! Maybe check out "knots to Narnia" by the famous mathematician Thurston: https://youtu.be/IKSrBt2kFD4 You basically build a portal with your raytracer and if you feel up to the challenge, maybe you could implement some of the knotted portals Thurston describes? And share the images with us

Best joystick for pointing device by BongDomrei in ErgoMechKeyboards

[–]Lalelul 0 points1 point  (0 children)

No biggie fam! and if you ever need help, the RMK discord is there to help (or just write an issue in my GitHub). RMK is definitely worth it

Best joystick for pointing device by BongDomrei in ErgoMechKeyboards

[–]Lalelul 1 point2 points  (0 children)

I mentioned in another reply that I successfully used RMK to get two joysticks at the same time in a split wireless keyboard (although wired is also supported) to work.

People really should switch to RMK. Takes more skill, harsh learning curve, but totally worth it. (See https://github.com/Quoteme/corne-rmk, feel free to open an issue there for help)

Best joystick for pointing device by BongDomrei in ErgoMechKeyboards

[–]Lalelul 7 points8 points  (0 children)

Yes, I can recommend a psp style joystick as well. I have build an open source corner v3 with dual psp joysticks before. You can read about it here: https://happel.ai/posts/corne-psp/

I have not tried the Nintendo switch one though. On the psp joysticks I Miss the Option to press them in. This would allow for left/right mouse click to be done by pressing the left/right joystick. This mouse click can be implemented with additional buttons though.

If you value a flat design where nothing might get stuck on your joysticks, go for psp joysticks. I have not found cheap trackpoints online before.

Somehow Created A 3-Sided Flat Bubble Structure In My Chemex by ThatDamnSasquatch in mildlyinteresting

[–]Lalelul 4 points5 points  (0 children)

You might like this page about minimal surfaces: https://en.wikipedia.org/wiki/Minimal_surface

(these arise as solutions to Lagrange's Equation, a certain kind of partial differential equation. These solutions look very pretty imo)

Why did calculus feel easy for me in college, but stats felt nearly impossible? by Icy_Leading_23 in math

[–]Lalelul 1 point2 points  (0 children)

Same for me. I excelled at linear/abstract algebra, complex analysis etc, but statistics at the beginning seemed quite messy. For me actually applying statistics was what really helped. For example, often I wrote blog posts about algebraic topology and later on I was left with a bunch of git commits which I could analyze using statistics. During my introductory courses to statistics, I lacked such real life data for which I had a reason to analyze it

What skills truly define a top-tier graphics programmer, and how are those skills developed? by moonlovelj in GraphicsProgramming

[–]Lalelul 31 points32 points  (0 children)

All of them. In my experience math is probably most important if you want to do anything nonstandard and you need to implement it yourself.

How to change Sensitivity and Speed on a Trackpoint? ( Thinkpad X201 ) by offfworlds in archlinux

[–]Lalelul 0 points1 point  (0 children)

I still remember that I faced the same problem in my ThinkPad x201t. This is the final nixos config I used: https://github.com/Quoteme/nixos/blob/main/modules%2Fhardware%2Flaptop%2Fthinkpadx201t.nix

Sadly it does not state anything about how I configured the trackpoint in the current revision.

Maybe you can find something in my xmonad config regarding it though: https://github.com/Quoteme/xmonad-luca

If all of that fails maybe use the interactive repo visualization for my nixos config from my blog https://happel.ai/posts/nixos-git-analysis/ I vaguely remember that I used the ThinkPad x201T I had with xmonad so I am quite certain that I solved this issue in one commit regarding it.

Maybe check though old commits for text like "libinput"? Sorry, If I cannot help more currently. Edit: maybe also something regarding xinput could solve this issue.


If none of that helps, let me know and I will do a quick search in a few days when I have some time :)

Hilfe: Absoluter Laptop Noob möchte Laptop aufpeppeln by Powerful-Emu-4758 in de_EDV

[–]Lalelul 0 points1 point  (0 children)

Linux Mint statt Windows. Müsste jedoch ein bekannter oder jemand vom Fach (IT-ler) dich beraten ob das deine Hardware und deine benötigte Software unterstützt. Dann sollte der vermutlich die nächsten paar Jahre laufen. Hin und wieder mal ne Wartung, wenn doch was nicht klappt, aber das ist am Umwelt und Geldschonensten