8baanknexer

joined 2 years ago
[–] 8baanknexer@lemmy.world 2 points 3 weeks ago

I think the fact it leaves out "which" after the first two buffalo really pushes it too far. It may be syntactically correct, but you would not normally do that. It's kind of like saying "it's what it's".

[–] 8baanknexer@lemmy.world 2 points 3 weeks ago

I got sick with a 40+ degree fever. My lower voice is fine, but my higher voice has been ravaged for weeks. I also had a cough that lasted for about 3 weeks. No idea if it was covid as tests are not as easily available here anymore.

[–] 8baanknexer@lemmy.world 4 points 2 months ago

Category theorist: hold my beer.

[–] 8baanknexer@lemmy.world 2 points 3 months ago

This logic would still be propositional as there are no quantifiers.

[–] 8baanknexer@lemmy.world 11 points 4 months ago (1 children)

Where is that? Is that on one of the moons of Jupiter?

[–] 8baanknexer@lemmy.world 1 points 4 months ago

I had this experience but in an airplane. I love my steam deck.

[–] 8baanknexer@lemmy.world 1 points 4 months ago (1 children)

Not sure how Amsterdam is relevant in this?

[–] 8baanknexer@lemmy.world 19 points 4 months ago

It has been proven that each mathematical reasoning system* either has a statement that cannot be proven true or false, or a statement that can be proven both true or false. In simpler terms, it has been proven that we can't prove everything.

Gödels incompleteness theorem if anyone wants to look it up.

  • only holds for reasoning systems that can reason about numbers
[–] 8baanknexer@lemmy.world 3 points 4 months ago (1 children)

The factorio space age dlc. Particularly track 06 from Fulgora.

[–] 8baanknexer@lemmy.world 1 points 5 months ago (1 children)

There is something wrong with your unit conversion to cm there. That, or you dated a horse.

[–] 8baanknexer@lemmy.world 19 points 6 months ago (5 children)

I think this might be a case of expecting a fish to climb a tree. Brains are terrible in fp32 performance, and computers are so far not great at reasoning. But that's mostly because they are made for different things. I'm not sure of this, but i would expect a single neuron firing costing a similar amount of energy as a single transistor firing. The difference is in part that they work differently, but I think the most important part is that they are put together differently. Computers were made for arithmetic while brains evolved for socialising and survival. For most other things you are 100% correct though, we could not recreate a bee or an ant even if we wanted to.

[–] 8baanknexer@lemmy.world 2 points 7 months ago (1 children)

My parents were rather strict with the music lessons, which I did sometimes resent at the time. These days I'm grateful as I couldn't imagine not being able to just play the music that's in my head. My parents a little less so, as they have heard "enough Prokofiev for a lifetime", and my polyrhythms make them feel like they have a "heart attack".

view more: next ›