HNHacker News
TopNewBestAskShowJobs

AdieuToLogic

3,770 karma · joined June 16, 2015

submissionscomments
AdieuToLogic··on Git for the US Code
>> The Hacker News Community (hah) needs to lobby hard to pass a law (what boostrapping!) to require the https://en.wikipedia.org/wiki/Office_of_the_Law_Revision_Cou... to maintain the repo as part of their duties, and do it retroactively for the entire history of the US Code.

> I want to see a practical benefit to maintaining this with public funds versus the usual redlines.

The US government works for the people and, as such, changes made to the US Code over time must be traceable, discoverable, and therefore justifiable by or condemnable to those who are responsible for said changes without fear or favor.

That is as practical as it gets.

AdieuToLogic··on Survival LLM: AI assistant and emergency library that runs on your own computer
> After the collapse of civilization, as long as you can maintain the computer running ...

One of these situations prohibits the other.

AdieuToLogic··on Code is clay now
> I sadly suspect that if it's a choice between throwing a person or an LLM on an existing large and complex codebase cold ...

You're missing the point. Understanding has nothing to do with code.

"Code" is short for "encode", which is an industry term for "encoding a solution". This implies a solution has been formulated before it is expressed in a programming language.

There is no "codebase" without a person or people who understand what solution to reify in the first place.

> A model can absolutely help create understanding in the person overseeing these changes, provided that person deigns to ask for it.

A model can assist a person to gain understanding, sure, but like you said yourself:

... provided that person deigns to ask for it.

By this statement alone, you have proven my point of:

  In order for agentic coding to be a net positive, the
  instructions given to the AI offering must be from people
  who understand what a system currently does as well as what
  functionality a product needs to provide in its future
  desired state.
AdieuToLogic··on Code is clay now
Agentic coding does not create understanding in the people tasked with altering a product to provide significantly different functionality.

In order for agentic coding to be a net positive, the instructions given to the AI offering must be from people who understand what a system currently does as well as what functionality a product needs to provide in its future desired state.

Agentic coding does not solve these fundamental concerns.

AdieuToLogic··on Code is clay now
> The point is that previously, changing code in a major way might take months of refactoring.

> Now, the kinds of changes that were simply unrealistic before are now entirely realistic. A refactor/migration that would have taken 6 months before, you can now get a working version done in a day, and another few days of QA.

Significantly changing a system implementation is a function of understanding, not time.

Given a starting solution state being A and a desired functionality state of A', the tooling used to codify the A -> A` delta is largely irrelevant. Specifically, in order to successfully deliver major product realignment requires awareness of what exists currently and understanding of what needs to be.

Code is neither stone nor clay.

  When making software, remember that it is a snapshot of
  your understanding of the problem.  It states to all,
  including your future-self, your approach, clarity, and
  appropriateness of the solution for the problem at hand.

  Choose your statements wisely.
AdieuToLogic··on It's still ok to enjoy programming
> The problem is, baking something and sharing it with others brings people together ...

Honestly, I don't see how this is a problem.

> Which in the end is kinda the point of it.

Absolutely.

> Like your post says, with programming, it's mostly just a race to what achieves the goal ...

Unless the joy of whatever programming one does is found in the path taken.

> I started learning ARM assembly so I could make a lisp implementation in it. It will be useless, no one will use it, and an AI could bang one out in a few minutes ...

Who cares if anyone uses it or if some other tooling could replicate what you choose to do if, in doing so, you enjoy it.

Much like the "damn good croissants" you make, it doesn't matter what others could make. You make damn good croissants.

Your happiness is yours. Enjoy the path you take to find it.

AdieuToLogic··on Java sealed classes and exhaustive pattern matching
> I still prefer TypeScript since I do a lot of frontend work and prefer to use the same language across the stack.

If you perfer using the same language for both frontend and backend work, yet would like to have one more semantically rich than TypeScript, consider Scala.

For the frontend, ScalaJS[0].

For the backend, Scala[1].

0 - https://www.scala-js.org/

1 - https://scala-lang.org/

AdieuToLogic··on Things that don't bother me as your manager
Were this a common managerial philosophy, and not an exception, many efforts would have better outcomes.

The funny thing about Servant Leadership[0] is that it demands a leader see themselves as an equal with those whom they lead. Thus requiring acknowledgement that the title a person has does not establish their value, no matter what an org chart proclaims.

0 - https://en.wikipedia.org/wiki/Servant_leadership

AdieuToLogic··on Texas city demands $2M for public records on Flock usage
In these kind of situations, bcwipe[0] is a handy tool to have available.

0 - https://www.ia.nato.int/niapc/Product/BCWipe_178

AdieuToLogic··on When did Google get so weird?
> He quoted something from the Bible ...

It is also possible that the proverb I provided to you is the origin of the oft quoted:

  Better to remain silent and be thought a fool than to speak 
  and remove all doubt.
So there's that.
AdieuToLogic··on When did Google get so weird?
> So far, your definitions of understanding seem to be whatever vibe you are going for in the statement and I would urge you to think about what a sensible mathematical definition of understanding is so that it can sensibly be assessed on neural networks.

Any reasonable definition of understanding is not dependent upon "whatever vibe you are going for", but instead must include at least an English dictionary definition of "understand" such as:

  to grasp the meaning of[0]
And, for further clarification, "grasp" can be defined as:

  to lay hold of with the mind[1]
Which makes an equivalent term-expanded definition of "understand" to be:

  to lay hold of with the mind the meaning of
As such, there is no "sensible mathematical definition of understanding", unless you possess a complete mathematical model of the human mind.

>> Understanding is a state of mind

> This is meaningless, it is a circular definition at best.

See above to as to why there is meaning in what I wrote.

>> It exists entirely within the individual and nowhere else

> Then why are we talking about it? What is the point if it is something that can only be defined per individual?

I like to think analyzing fundamental premises, often implicit, explicitly can help to identify fallacious positions.

> We are still not getting anywhere because you have not prescribed criteria to determine whether [an LLM] understands.

My apologies for being opaque. Let me clarify:

  LLMs do not "understand".  People interpreting LLM output
  are the only entities involved which can "understand",
  because "understanding" exists strictly within each
  person who possesses it.
0 - https://www.merriam-webster.com/dictionary/understand

1 - https://www.merriam-webster.com/dictionary/grasp

AdieuToLogic··on You said no MCP
> These days if you're arguing from a position you took even a week ago, you already might be out of sync.

"Might be out of sync" is a unique spelling of "crucified online". :-D

AdieuToLogic··on When did Google get so weird?
> Pattern recognition becomes "understanding" once individually recognized concepts become sufficiently sparsified [sic] and compactified [sic].

Understanding is a state of mind. As such, it exists entirely within an individual and nowhere else.

For example, take any two university professors who teach the same subject where one only speaks Arabic and the other only speaks Vietnamese. Each will not be able to understand what the other says, regardless their understanding of the shared topic.

> I argue that for any proper definition [of understanding] you provide which humans satisfy, a strong LLM is very likely to satisfy that as well.

This is demonstrably incorrect as detailed above. There is no "understanding" LLMs can satisfy as we know it, since to certify said "understanding", it requires interpretation by a person to "know" an LLM "understands."

> I also would not argue that humans are "simple token generators". That is not what I said.

That is the essence of what you wrote, unless you object to my use of "simple" instead of "statistical". In this context, I postulate this is a distinction without difference.

> I said that just about everything can fall under the classification of "statistical token generators" at an abstract level, so it isn't a useful distinction.

This only holds if one subscribes to statistical token generators being a/the fundamental underpinning of "everything". Here is a proof by contradiction:

  If everything can be classified as a derivative of
  statistical token generation, how does one explain
  quantum physics?
AdieuToLogic··on When did Google get so weird?
> Then disprove the physical Church Turing hypothesis in regard to the human brain.

The onus is not mine to disprove a hypothesis you have chosen to mention in passing. The responsibility is yours to prove said hypothesis or at least contribute meaningfully with some amount of credible research.

Or try to learn from Proverbs 17:28[0]:

  Even fools are thought wise if they keep silent, and 
  discerning if they hold their tongues.
Either works for me.

0 - https://www.biblegateway.com/passage/?search=proverbs%2017:2...

AdieuToLogic··on When did Google get so weird?
>> Again, LLMs do not "hallucinate." They are statistical token generators whose results are dependent upon their training data set and involve a degree of randomness. >> Nothing more.

> You can say that about everything in a human brain.

> What's the most significant, strongmanned, core difference that makes silicon doing number crunching "nothing more" and brains "something more"?

The fact that you formulated this question, in and of yourself, without "prompting" from me or anyone else.

Cogito, ergo sum.[0]

0 - https://en.wikipedia.org/wiki/Cogito,_ergo_sum

AdieuToLogic··on When did Google get so weird?
For context, in response to my original statement:

  [LLMs] are statistical token generators whose results are 
  dependent upon their training data set and involve a degree 
  of randomness.
This is literally what was written:

  During conversation, we are statistical token generators 
  whose results are dependent upon our training set.
>> If you do not see a difference between humans conversing (known consciousness as defined by humans) and the output of an LLM (known algorithms as defined by humans), I don't know what to say.

> That’s not what they said.

How did I misquote and/or mischaracterize any the above?

AdieuToLogic··on When did Google get so weird?
> To be fair, they also have “adieu” (farewell) to logic.

It is always a joy when a person, such as yourself, finds the irony in my moniker.

Thank you for this.

AdieuToLogic··on When did Google get so weird?
> You ever heard of something called a metaphor, guy?

In this media (comments in HN threads), all I can do is interpret what people write. ;-)

> And "hallucinating" to mean "outputs plausible sounding gibberish that doesn't hold together consistently". Of course there's no actual hallucination going on.

This may very well be what you know to be true and I have no reason nor desire to assume otherwise. The problem is... Many people use the word "hallucinating" in this context literally and not metaphorically.

Since I do not know you, how am I to tell the difference?

AdieuToLogic··on When did Google get so weird?
>> If you do not see a difference between humans conversing (known consciousness as defined by humans) and the output of an LLM (known algorithms as defined by humans), I don't know what to say.

> Whatever you might think about your own abilities, most individuals can't tell the difference.

I have yet to see an LLM say "hello" to a neighbor. I have done so and can definitively assure you "most individuals" can tell the difference.

AdieuToLogic··on When did Google get so weird?
>>> I'm not anthropomorphizing anything ...

Yes you are, regarding LLMs at least. Here's why:

  just for fun I asked a reasonably smart LLM to ...
  [be] capable of understanding if it's gone off on
  a hallucinatory path ...
"Smart" in this context is a subjective value judgement. "Hallucinations" are only experienced by living organisms.

You then went on to state:

> If you know something rare and the LLM does not, you'll immediately see when it's hallucinating an answer or answering factually.

Again, "hallucinating" is not something an algorithm can do. Also, determining factuality is again subjective based on the person assessing the information.

AdieuToLogic··on When did Google get so weird?
>>> How is this different from a human using an algorithm they have memorized ...

>> Humans identify which "algorithm they have memorized" to use beforehand, due to the problem to be solved being defined by other humans ...

> This doesn't make any sense at all. Was this supposed to be a gotcha?

No, it was meant to be an explanation as to the difference between "memorization" and "understanding." In this context, people pick the algorithm they determine applicable and then the question of memorization is relevant.

> An LLM is trained on problems defined by other humans, and identifies which algorithm it must use based on pattern recognition.

Funny that you make this argument here, where when I wrote elsewhere in this thread:

  [LLMs] are statistical token generators whose results are
  dependent upon their training data set and involve a
  degree of randomness.

  Nothing more.

  ...

  It is pattern recognition, a task in which ANNs excel.
To which you replied to the above with:

  During conversation, we are statistical token generators 
  whose results are dependent upon our training set. 
  Seriously, write that definition out rigorously. It 
  encompasses virtually everything. It is totally 
  meaningless. So to say "nothing more" is effectively also a 
  tautology.
  
  This argument was asinine in 2024. It is insane to be 
  saying these things in 2026. Where have you been?

  ...

  It absolutely understands how to do math, by whatever
  reasonable definition you want to provide to the word
  "understand".
So which is it?

Are LLMs ANNs? Which themselves are pattern recognition algorithms (hint: they are)?

OR (setting aside the ad hominems you kindly provided)

Do LLMs possess "understanding" of concepts such as abstract mathematics (defined and interpreted by humans) and we, as simple humans, nothing more than statistical token generators as you assert?

Because it cannot be both.

AdieuToLogic··on When did Google get so weird?
> During conversation, we are statistical token generators whose results are dependent upon our training set. Seriously, write that definition out rigorously.

If you do not see a difference between humans conversing (known consciousness as defined by humans) and the output of an LLM (known algorithms as defined by humans), I don't know what to say.

AdieuToLogic··on When did Google get so weird?
> Heck, just for fun I asked a reasonably smart LLM to ...

LLMs are neither smart nor stupid. They are statistical token generators whose results are dependent upon their training data set and involve a degree of randomness.

> You still have to be skeptical of its results and capable of understanding if it's gone off on a hallucinatory path ...

Again, LLMs do not "hallucinate." They are statistical token generators whose results are dependent upon their training data set and involve a degree of randomness.

Nothing more.

See also anthropomorphism[0].

> More precisely it's that [LLMs] can't do the math internally but they're quite capable of producing the tool that does the math.

This still falls under the purvey of statistical token generation. To wit, given enough variations of:

  bc -e '1 + 2'
  bc -e '41 + 1'
  ...
LLMs can identify the addition expression in "What is 4 + 1?" and then emit a `'bc "4 + 1"'` command to produce a response. This is not "doing" or "understanding" math.

It is pattern recognition, a task in which ANNs[1] excel.

0 - https://en.wikipedia.org/wiki/Anthropomorphism

1 - https://en.wikipedia.org/wiki/Neural_network_(machine_learni...

AdieuToLogic··on When did Google get so weird?
>> they found bits of code that are associated with "math" and the supplied arguments

> How is this different from a human using an algorithm they have memorized, or reading it from a reference site written by a human and then writing the same formula into a custom one off piece of python code?

Humans identify which "algorithm they have memorized" to use beforehand, due to the problem to be solved being defined by other humans, which leads to...

Wait for it...

Understanding.

AdieuToLogic··on I am often wrong
Right and wrong are forms of judgement, subject to debate, and sources of resentment.

Correct and incorrect are at least possibly quantifiable and do not intrinsically involve subjectivity.

In other words, my being incorrect is something others can help me to understand and rectify. My being "wrong" is a position which can yield second order harm.

AdieuToLogic··on Backups Aren't Simple
A friend of mine used to work at Veritas[0] making enterprise data retention solutions. When I spoke about their product as being "making backups", he corrected me by saying:

  We are not in the backup business.  We are in the restoration
  business.
0 - https://en.wikipedia.org/wiki/Backup_Exec
AdieuToLogic··on Introducing System One Models and Jev
> Judgemental much?

Not often, but yeah... I did on this occasion.

AdieuToLogic··on Show HN: Sunk Cost – How long until a local LLM rig pays for itself?
> Anthropic's goal is to commoditize intelligence.

And Google's original goal was to organize the world's information.

How did that turn out?

AdieuToLogic··on Show HN: Sunk Cost – How long until a local LLM rig pays for itself?
> I'm curious what people are sending to Claude that is so secret.

When Claude is used in a professional setting, any or all of:

  Proprietary intellectual property (a.k.a. system code)
  PII[0] of the employee, customers, or both
  HIPAA[1] data known to a system
  Internal communications not meant to be publicized
  Sensitive data, such as SSH keys and the like
Pretty much anything on a machine which uses Anthropic/OpenAI native tools is a candidate to be compromised really.

0 - https://en.wikipedia.org/wiki/Personal_data

1 - https://en.wikipedia.org/wiki/Health_Insurance_Portability_a...

AdieuToLogic··on A beginning for mathematics
The simulated dialog you have provided is very much representative of what many of us have heard first-hand. However, I disagree with:

  Most businesses don’t care about later risk or any future 
  planning beyond the quarter horizon, they’re not concerned 
  about how it will effect their performance in 3 quarters or 
  lead to instability or issues, those are future problems 
  for a future person and we’re here for money now.
Businesses care about "later risk" and what it implies.

Individuals within an organization do not unless it will specifically affect their bonuses/promotions.

Page 1 of 34Next →