- 5 Posts
- 25 Comments
jjj@lemmy.blahaj.zoneto
Haskell@programming.dev•Rust-style Borrow Checker Implemented in Linear Haskell
2·4 days agoThe title mentions “Linear Haskell” and “Rust-style borrows”.
It tells you how to exit if you press ctrl+C, which is many people’s first instinct.
You wouldn’t download someone’s awesome tile art
How about 3 to one light… I wish I understood the psyche the house planner, it’d make for a great thriller novel.
“Triple Toggle: A Story of Terror… and Genius?”
They’re all at different entries to a stairwell so it’s probably the latter.
I know what you meant
I’m not trying to toy with you, please reciprocate. Because you didn’t say what about quantum mechanics causes reality to appear non self consistent I tried to connect the dots in my head: what I know about relativity fits the bill a hell of a lot better than QM.
QM does predict some weird probability distributions where the interpretation of causality is unclear. Just like mfed1122’s argument of understanding calculus, just because you or I don’t know what it means doesn’t indicate that it’s meaningless. Regardless of how confusing it is, QM describes everything objectively and so it doesn’t say the universe is inconsistent. Like with my example about GPS, quantum computers wouldn’t be possible if QM didn’t describe a uniform, self-consistent reality.
Unless, you know how to resolve the interpretation of QM, then by all means go ahead and take that nobel prize
This is unrelated to both your point and the original commenter’s discussion, per mfed1122’s argument.
If you want to continue this discussion in a meaningful way could you outline the elements of quantum mechanics that indicate a non self-consistent reality?
Quantum says otherwise
It doesn’t.
I meant that GR better fits the vague description you gave.
Thanks for the conversation.
I believe you’re speaking about General Relativity, Quantum Mechanics refers to “quantum” aka discrete, non-smooth things like the energy levels of electrons.
General Relativity indicates that the temporal ordering of events may appear different to different observers, although there is a way to objectively switch between perspectives.
In all cases, the theories point to a uniform, self consistant reality, as that is in fact their very purpose. If they didn’t work as expected, your GPS wouldn’t be a thing.
jjj@lemmy.blahaj.zoneto
Programming Humor@lemmy.world•Found one of my old lua scriptsEnglish
41·20 days agoOwned.
Edit: Turns out Kate is the editor component used by Kwrite.
jjj@lemmy.blahaj.zoneto
Programming Humor@lemmy.world•Found one of my old lua scriptsEnglish
141·20 days agoYou fool! I would recognized kwrite’s “just edited” orange anywhere.
Which means… this “old lua script” isn’t old at all and hasn’t even been saved.
PREPARE TO BE GARBAGE COLLECTED IN RITUAL COMPETITIVE PAIR PROGRAMMING
jjj@lemmy.blahaj.zoneto
Gaming@beehaw.org•This AI startup envisions '100 million new people' making videogames
14·22 days agoFun fact: there’s a group that shares this goal but was actually capable of doing it: https://www.scratch.mit.edu/
(TL;DR you can just let people explore coding in a simple language/engine and that’s enough of a stepping stone)
The source said “fucking”, not “f__king”.
Don’t have to censor tho [sic]
jjj@lemmy.blahaj.zoneto
Life Pro Tips@lemmy.world•LPT: reduce doomscrolling and brainrotEnglish
5·28 days agoContent blockers fix this for me (uBlock Origin has a few “social widgets” filter lists)
jjj@lemmy.blahaj.zoneOPto
Factorio@lemmy.world•PSA: This is what happens when you build on both sides of your main busEnglish
3·1 month agoI do that as well, although I set the threshold to 100 available bots in stead. They just get repair packs from “the” mall. (which is spread randomly throughout the base because… starter base)
https://piefed.blahaj.zone/comment/3791025
A near miss and a disaster are worlds apart in terms of consequence, but very close in terms of what went wrong.
jjj@lemmy.blahaj.zoneto
Technology@lemmy.world•This App Warns You if Someone Is Wearing Smart Glasses Nearby - 404mediaEnglish
52·2 months agohttps://xkcd.com/1251/ (there is always an xkcd about it)
Your equations are correct (although as I said in my other comment 9.81 is the global average but gravity varies by ~0.1 so that’s too many significant figures), but their issue doesn’t have to do with using sloped distance, by which I assume you mean the length of the slope (they don’t as far as I can tell). It says the height change is 2 meters, and they use 2 meters as the distance since that’s the component of the displacement parallel to gravity. The problem is that they didn’t convert mass to weight.
work = average force • displacement = |average force| * |displacement| * cos(angle between them) = component of average force parallel to displacement * |displacement| = component of displacement parallel to force * |average force| weight = force due to gravity = mass * acceleration due to gravity ≈ 5 kg * 9.8 m/s² = 49 N work = component of displacement parallel to average force * |average force| = 2 m * weight ≈ 98 Nm
Not quite, you have to multiply distance by the force applied to the object (its weight in Newtons), but they’re using its mass (kilograms).
It’s actually
98 Nm, sinceweight = mass * gravitational accelerationandg ≈ 9.8 m/s²(you’ll see people give more digits but it actually varies by at most0.1 m/s²or so depending on where you are).










Sorry, I was on my phone. Thanks for fixing it, I was a bit confused by your original title considering there’s no linear types in Rust (AFAIK, but there’s a library that sort of does it: https://docs.rs/linear_type/latest/linear_type/).