elendilm

4 ms·

1.
by elendilm 5d ago
Gladly. I have all the time in the world :).
2.
by elendilm 5d ago
No :). There are many who want to understand.
3.
by elendilm 5d ago
You would be surprised at the number of people (who study math formally) who just memorize proofs and having no clue what it all fundamentally is about.
4.
by elendilm 5d ago
The premise of the article assumes that the work (number of true statements to prove) is finite. But Godel's Incompleteness Theorem and Tarski’s Undefinability theorem ensure an infinite space of provable true statements. Neither LLM&#
5.
by elendilm 5d ago
Calling out the bad faith was the impact. Logic was the weapon. Getting exposed was the result. Bad character should be called out. The door was left open for him to demonstrate good faith. He did not. It revealed his character and work et
6.
by elendilm 6d ago
I appreciate your good faith, the suggestions, and your elaboration on them. For context, extensive coding over two decades has ingrained in me the habit of explicitly disambiguating my statements of machine-executable logic expressed in na
7.
by elendilm 6d ago
That is a dense extremely compressed version of my comment (on logic) and emphasizes the process (narrative selection) used and the purpose for the whole endeavor. Each word in your sentence is load bearing. Casual readers might find the d
8.
by elendilm 6d ago
The original comment was disrespectful to any freethinker and dismissed the author's work with a "no" providing zero substance. So he deserved the blunt callout and had it coming to him. I have nothing but respect for people
9.
by elendilm 7d ago
Maybe it must be considered from the perspective of the speaker. He may have a particular dentist in mind when he says "the dentist" and maybe the listener not having privy to it may not be relevant. And he may be saying "a&q
10.
by elendilm 7d ago
> It turns out I’d simply forgotten how straightforward it can be to rely on bare CLI tooling. Happy for you. CLI tooling counter intuitively makes for very less friction especially when you are moving very fast.
11.
by elendilm 7d ago
Buddy, your lack of good faith is now exposed, which demonstrates zero substance. I doubt you would know that it is very cheap. Ironically, the "stitching random sentences together" has now evidently applied to you.
12.
by elendilm 7d ago
Sadly, your inability to comprehend is noted which leaks your lack of expertise with the subject matter. For a general overview, assuming good faith and a genuine willingness to learn, refer to https://iep.utm.edu/s-truth&#x
13.
by elendilm 7d ago
Spot on. I agree. There has never been a better time to be a software builder or a mathematician. Seekers whose primary motive is validation instead of understanding are the ones who are getting paranoid. Thoroughly enjoyed your thoughts.
14.
by elendilm 7d ago
Logic is the foundational weapon operating on sentences. The act of stitching together, a series of sentences as true is what logic is. If you make the stitching as airtight as possible, congratulations, you are in the realm of math. If you
15.
by elendilm 7d ago
If you are young, this might help you https://www.logicallyfallacious.com/logicalfallacies/Appeal-... If you are old, I have nothing at my disposal. You are on your own. This is pretty basic. One learns this early on i
16.
by elendilm 8d ago
LOL. Hilarious
17.
by elendilm 8d ago
> Argument from authority is a bad thing specifically when it's used to make incorrect claims on the basis of authority. Exactly. Thank you. > I'd place a lot more stock on it than on a random headline based on their authori
18.
by elendilm 8d ago
Always be suspicious of people who don't atleast give us even a single valid sentence to construct the chain of thought that would lead to their negation or assertion. An authority claim by virtue of itself is not worth investigating.
19.
by elendilm 8d ago
Argument from authority. Elaborate or nobody cares.
20.
by elendilm 8d ago
Over reliance on AI and delegating their thinking faculties is dangerous or stupid or both. The future looks bright yet dangerous.
21.
by elendilm 8d ago
Good to know. Haven't been following them as I was busy with our work. I empathize with you on the sentiment of adversity against rationality but disagree on the implications. Usually sentences uttered by anyone contains compressed in
22.
by elendilm 8d ago
Revisiting after 10 years, it was nice reading through all those virtues again. Thank you for sharing the link. After more than 2 decades of continuous building and problem solving, I see a lot of good things in that article and a handful o
23.
by elendilm 9d ago
I remember reading back in 2014 (IIRC) Yudkowsky's explanation of the Bayes theorem. It was genuinely good. Some sort of first principles introduction. HPMOR was entertaining as well. Death as the last enemy to be destroyed placed his
24.
by elendilm 9d ago
You must be from 2029. How is the cost and technical debt looking over there? Here in 2026, we are trying hard to reduce those. Here economics still punishes us for bad decisions. In 2026, some of us use LLMs as a tool and not as the brain.
25.
by elendilm 9d ago
Well timed article. :)
26.
by elendilm 10d ago
People in academia generally doesn't code much. So I am not surprised. LLM's have not affected us in the slightest when it comes to coding. Maybe we write a snippet, post it for llm to scrutinize, and usually LLMs spout bullshit a
27.
by elendilm 10d ago
These bash commands along with similiar others makes a developer so productive. For me, I personally use nothing fancy other than normal KDE Kate for backend development. Function and variable names are chosen after putting a lot of thought
28.
by elendilm 12d ago
Breathing bullshitters in my experience goes hand in hand with people who ask to "calm down and take a deep breath" in the midst of a discussion due to their inability to match the speed of the discussion or because they want to
29.
by elendilm 12d ago
I found occasionally dancing after a long time invigorating. But afterwards, dancing for many days contiguously, my experience is that I get bored and stop until the cycle repeats. > I practice my breathing exercises to not let it get to
30.
by elendilm 13d ago
I would say, the author does have a point. Playing for the long game is good. But that sentence is too lossy to decipher the meaning unless you know what it means. Instead of making the company more powerful, I would recommend making the co

More ›