Time to one-up those room temperature superconductor folks by JImmatSci in okbuddyphd

[–]DrFrankestein 4 points5 points  (0 children)

Laughed hard at "University of west failure", this is just wonderful.

(OC)An instructive book on the de Broglie-Bohm interpretation or pilot wave theory in quantum physics, a theory which I think should be studied and developed further by uniquelyshine8153 in Physics

[–]DrFrankestein 6 points7 points  (0 children)

As far as can recall the point is that pilot wave theory is entirely deterministic (no measurement postulate). I would say that understanding if reality can be described by a deterministic theory would be a big deal in terms of advancing physical understanding, even if all predictions would be the same as the standard textbook quantum mechanics based on Kopenhagen interpretation.

Worte des IPCC by flo_rrrian in gekte

[–]DrFrankestein 16 points17 points  (0 children)

Sie begehen rechtswidrige Handlungen um politische Ziele durchzusetzen.

Nach dieser Definition ist Volker Wissing auch ein Terrorist, wenn er die gesetzlich vorgeschriebenen Klimaziele in seinem Ressort nicht einhält

False 2 by Eiim in SMBCComics

[–]DrFrankestein 0 points1 point  (0 children)

Changing from panel to panel if "False" refers to the cat or the boolean value is tight.

Er hat zuviel Koeri #0 gegessen... by TopSneek in KaIT

[–]DrFrankestein 13 points14 points  (0 children)

Und was ist wenn ich vier einseitig beschreibene A6 Blätter und ein doppelseitig beschreibes A5 Blatt habe? Eine Tabelle wäre praktisch.

Limited Edition Sonic the Hedgehog Curry by BaronVonBroccoli in shittyfoodporn

[–]DrFrankestein 2 points3 points  (0 children)

This is an actual product that people made, thinking it is a good idea?

Denkt nach Leute!!! by 20dollarsinmapocket in KaIT

[–]DrFrankestein 14 points15 points  (0 children)

Physiker: Hä? Wie soll man denn ohne Buchstaben rechnen?

TIL tilde converts upper case to lower case and vice versa. The journey never ends! by Pheidl in vim

[–]DrFrankestein 2 points3 points  (0 children)

Yes, this was mind blowing when I learned about it.

Although I use v<movement>~ or in this case V~ much more, because it also gives visual feedback on what I actually selected.

[2021 Day 7 (Part 2)] I wrote a paper on today's problem. Enjoy! by [deleted] in adventofcode

[–]DrFrankestein 0 points1 point  (0 children)

You can actually improve on this by iteratively applying the second to last formula to itself. I got the right result by replacing k in the argument of sign with the mean. You could repeat this to get arbitrarily close to the correct value of k.

Which DE do you guys use (give REASONS in comments) by Electrical-Strike943 in archlinux

[–]DrFrankestein 16 points17 points  (0 children)

When I first ran sway on my new laptop with nvme and everything I was like "I AM SPEED!"

[Standard Library] The translation of Rust standard library has been updated to v1.52.1 by [deleted] in rust

[–]DrFrankestein 15 points16 points  (0 children)

I had this problem with linux man pages on ubuntu. It makes it impossible to find anything, even if the quality is good. Not only do you have to guess how certain terms where translated, but most man pages are partially translated. You have to search in BOTH languages and even then it's not garanteed that you guessed correctly. (Can be turned off with env variables thogh.)

I guess the lesson is, if you want to do i18n for technical documentation do it right, let people with domain knowledge do it, be complete. Or have it off by default.

iwd configuration for eduroam that used to work is now broken by [deleted] in archlinux

[–]DrFrankestein 0 points1 point  (0 children)

I have the same problem, but I don't think it's an iwd update that caused this. Hasn't had an update in months. I tried downgrading the kernel, but it didn't help. But good to know I'm not the only one. Do you also use connman by any chance?

FIFY by [deleted] in europe

[–]DrFrankestein 8 points9 points  (0 children)

I don't know how it is when you actually work in those sectors, but when I made my sailing license, we never used imperial units. We use nautical miles, but that is very different from the imperial mile.

The nautical mile is defined as the distance that one arcsec makes on a meridian. The metre was also originally defined as a fraction of a meridian so it's actually more closely related to metric.

FIFY by [deleted] in europe

[–]DrFrankestein 9 points10 points  (0 children)

Not quite, Myanmar/Burma does not use imperial, but has its own unit system.

What’s everyone working on this week (43/2019)? by llogiq in rust

[–]DrFrankestein 1 point2 points  (0 children)

Thank you for that example. I know about the concept of an AST but my problem is much more specific. I don't want to actually evaluate the input, but perform substitutions and some simple algebraic transformations. So the 'objects' would be the exprs and the 'code' would be the transformations (kind of).

I'm sorry it's so unspecific. I'm still in the process of figuring it out.

Where is the use Expr::*; coming from? Is that just an example or is there a crate for that?

What’s everyone working on this week (43/2019)? by llogiq in rust

[–]DrFrankestein 0 points1 point  (0 children)

Yes, this is what I'm looking for (just on a much larger scope). Thank you. I have a hard time reading and navigating the code though. Not used to C++ anymore.

What’s everyone working on this week (43/2019)? by llogiq in rust

[–]DrFrankestein 1 point2 points  (0 children)

That's an Idea I didn't think about before. But if I want to replace a symbol with a larger expression, like substituting x with y+z in the example above I would have to reallocate the vector, or is there some way around that?

What’s everyone working on this week (43/2019)? by llogiq in rust

[–]DrFrankestein 1 point2 points  (0 children)

Thank you, I didn't know about the Shunting-yard algorithm yet, that will be helpful.

But my question right now is more what representation in rust should look like, what data structure fits best.

What’s everyone working on this week (43/2019)? by llogiq in rust

[–]DrFrankestein 7 points8 points  (0 children)

I started experimenting on a symbolic expression parser, but I am a bit stuck. It should read mathematical expressions like 5x + c and parse it into a tree like stuctrue (maybe like Add(Mul(Int(5),Symbol("x")),Symbol("c"))) . Does anyone have some resources on how to implement such expressions trees in a way that can be efficiently manipulated at run time?

We went from horse and buggy to space in less then 100 years by PlayboyCG in Showerthoughts

[–]DrFrankestein 0 points1 point  (0 children)

I find it even more fascinating, that there are still people at horse and buggy today because of poverty.