Instance: programming.dev
Joined: 2 years ago
Posts: 11
Comments: 318
Professional software engineer, musician, gamer, stoic, democratic socialist
Posts and Comments by tatterdemalion, tatterdemalion@programming.dev
Comments by tatterdemalion, tatterdemalion@programming.dev
Doesn’t happen to me on the web app.
This is not a shitpost, this is absolute gold.
memes@lemmy.world
Haha this immediately reminded me of this scene from White Lotus Season 3
I think you’re misunderstanding the incompleteness theorems.
Gödel’s incompleteness theorems also apply to universe and consciousness
Sure, if you assume the universe can be described by a computable formal system. Godel’s theorems apply only to computable formal systems.
To briefly summarize Gödel’s incompleteness theorems, it states that a formal system cannot describe everything.
That’s a gross oversimplification. It really says that (1) there are true statements about formal system S which cannot be proven within S and (2) S cannot prove its own consistency.
This means that a Turing Machine will never be able to simulate our universe or replicate consciousness, and thus to replicate a human brain.
You’ve previously assumed that the universe is a computable formal system. But all computable formal systems can be modeled as a Turing machine. This is a contradiction.
However, it could be feasible with Quantum Computer that are not based on formal system.
How would a quantum computer even work if it weren’t described by a formal system?
SSNs are supposed to be secret? Then why does every financial institution request it?
Programmer Humor@programming.dev
I have used OOP design patterns many times, but that doesn’t mean I use inheritance a lot. I almost always reach for interfaces instead.
Programmer Humor@programming.dev
It was actually typed. Python had type annotations at the time.
I only wrote C++ very early in my career so I don’t remember much, but I’m sure I at least tried some inheritance in toy games I would write. All of that code was trash though by my standards today.
Programmer Humor@programming.dev
Some legacy Python code that already used inheritance. I had to extend it, and it was pretty infeasible to refactor the whole thing to not use inheritance. Not sure if I technically regretted that decision, but it was definitely painful, since Python inheritance makes it really hard to follow program control flow.
Programmer Humor@programming.dev
No because those are different things.
Programmer Humor@programming.dev
In over ten years of professional programming, I have never used inheritance without regretting it.
Isn’t that exactly what the Associated Press is?
I think they meant you could wipe with dd and then they are recyclable reusable.
EDIT: s/recycleable/reusable
What’s wrong with good old Internet with E2EE?
MEEOOOWW. MEEEEOOOOOWW.
…mm mm. Nope nope nope.
They do but I don’t know if there is a significant conversion from tourism to immigration. I think most tourists are taking advantage of the weak yen, not trying to live there long term.
I don’t doubt some of this stuff happened, but I also wouldn’t be surprised if some of it is nationalist fear mongering. Just like the whole “tourists are kicking the deer” rumor where no evidence ever surfaced. Some nationalist Japanese really like to stoke the anti-foreigner flames.
But Japan truly does have an over-tourism problem so this could absolutely be justified.
Kids don’t speak it.
I can’t take this seriously if MATLAB is near the top of the scoreboard.
Speed bumps are designed? In my neighborhood I’d swear they’re just eye-balling it.

c/piracy
c/asklemmy
c/selfhosted
News
Games
Mildly Infuriating
linuxmemes
Programming
Doesn’t happen to me on the web app.
This is not a shitpost, this is absolute gold.
Haha this immediately reminded me of this scene from White Lotus Season 3
https://youtu.be/uOeiII8zQhg?t=130
I think you’re misunderstanding the incompleteness theorems.
Sure, if you assume the universe can be described by a computable formal system. Godel’s theorems apply only to computable formal systems.
That’s a gross oversimplification. It really says that (1) there are true statements about formal system S which cannot be proven within S and (2) S cannot prove its own consistency.
You’ve previously assumed that the universe is a computable formal system. But all computable formal systems can be modeled as a Turing machine. This is a contradiction.
How would a quantum computer even work if it weren’t described by a formal system?
SSNs are supposed to be secret? Then why does every financial institution request it?
I have used OOP design patterns many times, but that doesn’t mean I use inheritance a lot. I almost always reach for interfaces instead.
It was actually typed. Python had type annotations at the time.
I only wrote C++ very early in my career so I don’t remember much, but I’m sure I at least tried some inheritance in toy games I would write. All of that code was trash though by my standards today.
Some legacy Python code that already used inheritance. I had to extend it, and it was pretty infeasible to refactor the whole thing to not use inheritance. Not sure if I technically regretted that decision, but it was definitely painful, since Python inheritance makes it really hard to follow program control flow.
No because those are different things.
In over ten years of professional programming, I have never used inheritance without regretting it.
Isn’t that exactly what the Associated Press is?
In base 18!
I think they meant you could wipe with dd and then they are
recyclablereusable.EDIT: s/recycleable/reusable
What’s wrong with good old Internet with E2EE?
MEEOOOWW. MEEEEOOOOOWW.
…mm mm. Nope nope nope.
They do but I don’t know if there is a significant conversion from tourism to immigration. I think most tourists are taking advantage of the weak yen, not trying to live there long term.
I don’t doubt some of this stuff happened, but I also wouldn’t be surprised if some of it is nationalist fear mongering. Just like the whole “tourists are kicking the deer” rumor where no evidence ever surfaced. Some nationalist Japanese really like to stoke the anti-foreigner flames.
But Japan truly does have an over-tourism problem so this could absolutely be justified.
Kids don’t speak it.
I can’t take this seriously if MATLAB is near the top of the scoreboard.
Speed bumps are designed? In my neighborhood I’d swear they’re just eye-balling it.