Konohamaru

8 ms·

31.
by Konohamaru 4y ago
Fair point. 99% of the pain of C and Java comes from their clunky build system.
32.
by Konohamaru 4y ago
Dynamic typing and garbage collection are kind of inherent to being a lisp. Without those you just have C or Java but with sexprs.
33.
by Konohamaru 4y ago
Did it succeed in that regard? Gödel said that first-order logic powerful enough to capture Peano Arithmetic does not have a sound proof theory (incompleteness = not onto = unsound), meaning human imagination is still the limiting reactant.
34.
by Konohamaru 4y ago
If the goal of formal mathematical logic is to capture the subconscious patterns of thinking humans use, then by that standard, it is a colossal failure.
35.
by Konohamaru 4y ago
Tbh, the fact that mathematical logic cannot prove that e + π or π^π^π^π are irrational numbers is a huge failure of formal mathematical logic. David Hume said that the purpose of logic is to record patterns of thinking we use, and every ma
36.
by Konohamaru 4y ago
This problem is already materializing. What do you recommend for solutions?
37.
by Konohamaru 4y ago
The U.S.A. is a fascist country.
38.
by Konohamaru 4y ago
Thank you!
39.
by Konohamaru 4y ago
It wasn't intended to be name-calling. It really did have the same style of something like ChatGPT.
40.
by Konohamaru 4y ago
Yeah. I was in a bad state of mind when I wrote this. I'm sorry.
41.
by Konohamaru 4y ago
It's a Darwinian world out there. Success is not up to you to produce. Telling people that it's all up to them and their free will is the most destructive lie you can tell, because it's not and the end result is that people s
42.
by Konohamaru 4y ago
Generation ships are scary for this reason. The logic is designed so that you can't figure out whether it reached its telos.
43.
by Konohamaru 4y ago
...is it just me or is the number of cases of severe mental illness growing in the U.S.A.?
44.
by Konohamaru 4y ago
No wonder mammals are afraid everything's trying to kill them and think everything's poisonous.
45.
by Konohamaru 4y ago
Only please, remember to always call it "research"!
46.
by Konohamaru 4y ago
This is spooky. Maybe AGI is within our lifetime. Does anybody else here look forward to life as a paperclip?
47.
by Konohamaru 4y ago
Almost all of the theorems in principa mathematica were known results by Newton's time. He synthesized it into a subject and found applications to physics.
48.
by Konohamaru 4y ago
Pāṇini was probably the only man I would say was comparable to Einstein in intelligence.
49.
by Konohamaru 4y ago
Tasks that involve manipulating physical objects to maintain biological homeostasis (e.g. cook) are hyper-optimized by biological evolution. It is impossible for engineers to engineer a unit that performs better with the same energy restric
50.
by Konohamaru 4y ago
There's this paradox in AI known since the 80s (I think it's Moraevac's Paradox?) that the abilities we acquired latest in our evolutionary history (e.g. chess, language, algorithmic thinking) are the easiest for AI to automa
51.
by Konohamaru 4y ago
Only as long as oil is cheap.
52.
by Konohamaru 4y ago
If the poaching activity is acting as an amplifier for that rare mutation's frequency, then yes, the poachers are in fact causing those elephants to evolve not to have tusks.
53.
by Konohamaru 4y ago
> Today's children are no longer interested in the ancient myths, they prefer modern heroes like Spiderman or Sponge Bob. While I can understand why children would consider Spiderman a hero (teaches kids that special talents and rol
54.
by Konohamaru 4y ago
The author is misusing the digital vs. analog dichotomy when he meant to say virtual vs. physical.
55.
by Konohamaru 4y ago
From the essay: > Think of the way adolescents try a knowing remark to project worldliness when their egos are threatened. What does this mean?
56.
by Konohamaru 4y ago
It was extremely good reading. It read like something Scott Alexander would write if Scott Alexander were a four-dimensional thinker.
57.
by Konohamaru 4y ago
Type systems are to programmers what dimensional analysis is to physicists.
58.
by Konohamaru 4y ago
But imagine if physicists were as recognized for software development as much as for experimental work or theorizing. That's a much more important reward.
59.
by Konohamaru 4y ago
This is a good idea. Imagine when future Nobel prizes are given to physicists who write and maintain software just as much to those who publish papers.
60.
by Konohamaru 4y ago
What is the solution? (Don't have the focus to read, understand, and analyze the scientific paper atm.)

More ›