HNHacker News
TopNewBestAskShowJobs

AdieuToLogic

3,772 karma · joined June 16, 2015

submissionscomments
AdieuToLogic··on Go 1.27
A friend of mine years ago told me, "given enough time, every programming language will evolve into a LISP[0]."

I laughed at the thought in the moment and now understand the wisdom shared with me.

0 - https://en.wikipedia.org/wiki/Lisp_(programming_language)

AdieuToLogic··on Go 1.27
Regarding generics (a.k.a. "templates"):

> However, the original announcement makes the intent of the project clear: "Not yet", not "never". They were always planned to be accepted into Go.

This is an exceedingly charitable interpretation of the position held by at least one Go language designer (Rob Pike)[0]:

  Notice that Robert said C was the starting point, not C++.
  I'm not certain but I believe he meant C proper, especially
  because Ken was there. But it's also true that, in the end,
  we didn't really start from C. We built from scratch,
  borrowing only minor things like operators and brace
  brackets and a few common keywords.

  In the end of course it came out quite different from
  either C or C++. More different even than many realize. I
  made a list of significant simplifications in Go over C and
  C++:

  ...

  - no templates

  ...
0 - https://commandcenter.blogspot.com/2012/06/less-is-exponenti...
AdieuToLogic··on Go 1.27
> "May well be added at some point" it said and added they were at some point.

That is a very selective quote which does not reflect the context I provided. So I will extract a selective quote which negates the above:

  We haven't yet found a design that gives value
  proportionate to the complexity ...
AdieuToLogic··on PostgreSQL for Everything
> It can do that.

As the old saying goes; just because you can do something doesn't mean you should do it.

> I think that the "use Postgres for everything" messaging was a necessity, even if it is overstated. Use it until you can demonstrate it doesn't meet your near term needs. When that happens, shift.

The problem with this approach is, once "use PostgreSQL for everything" is identified as being no longer be feasible, it has already become an inextricable component underpinning system functionality. Thus making "[w]hen that happens, shift" extremely difficult.

Contrast the above with only using PostgreSQL (or any other RDBMS) to manage data and their relationships, eschewing stored procedures as well, and the "when <insert condition> happens, shift" decision becomes much more feasible to entertain.

AdieuToLogic··on Go 1.27
> Generics were always planned, of course ...

This is provably incorrect.

The position held for many years by the language authors was[0]:

  Generics may well be added at some point. We don't feel an 
  urgency for them, although we understand some programmers 
  do.
  
  Generics are convenient but they come at a cost in 
  complexity in the type system and run-time. We haven't yet 
  found a design that gives value proportionate to the 
  complexity, although we continue to think about it. 
  Meanwhile, Go's built-in maps and slices, plus the ability 
  to use the empty interface to construct containers (with 
  explicit unboxing) mean in many cases it is possible to 
  write code that does what generics would enable, if less 
  smoothly. 
Once the community could no longer be held back, the golang FAQ presented a very different position[1]:

  The Go 1.18 release added type parameters to the language. 
  This permits a form of polymorphic or generic programming.
0 - https://web.archive.org/web/20170102202940/http://golang.org...

1 - https://go.dev/doc/faq#generics

AdieuToLogic··on PostgreSQL for Everything
Sometimes to scale is "continue to satisfy SLAs as service usage increases" and other times to scale is "successfully evolve functional capabilities over time."

While the GP may have been referencing the former, embracing "PostgreSQL for Everything" often prohibits the latter.

AdieuToLogic··on The little-known winstart.bat batch file
> I didn't mean to imply there was something "less" about the talent creating the DOS-based Windows OS. I think it's a marvel of engineering for economy and constraints.

"DOS-based Windows" was not an OS. It was effectively a program which provided a green thread[0] execution model for cooperative processes to execute within and had the reliability one would expect from same.

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

AdieuToLogic··on Go 1.27
> Generic methods are a huge win for the language. I've been waiting on these kinds of improvements to the type system ...

It's funny that you and many others have found the introduction of "generics" in Go to be highly valuable, considering one of the motivations for Go's existence was:

  Its designers were primarily motivated by their shared dislike of C++[0]
One of the language features C++ provides, "templates", was explicitly rejected by the language authors as being antithetical to Go philosophy[1]. Thompson put it bluntly:

  DDJ: In the presentation before the awarding of the Japan 
  Prize today, you were quoted on the distinction between 
  reasearch and development. [The former, Thompson stated, 
  was directionless, whereas development had a specific goal 
  in mind.] So in that context, is Go experimental?
  
  KT: Yes. When the three of us [Thompson, Rob Pike, and 
  Robert Griesemer] got started, it was pure research. The 
  three of us got together and decided that we hated C++. 
  [laughter] [2]
And now, years later, generics are "a huge win."

0 - https://en.wikipedia.org/wiki/Go_(programming_language)#Hist...

1 - https://commandcenter.blogspot.com/2012/06/less-is-exponenti...

2 - https://web.archive.org/web/20110521080746/http://drdobbs.co...

AdieuToLogic··on How do functions like alloca allocate memory from the stack?
>> formerly known as OS-X

> It was never OS-X, it was OS X ...

If my worst sin is an introduction of a hyphen, then I can live with that.

AdieuToLogic··on How do functions like alloca allocate memory from the stack?
Speaking of debuggers...

I still twitch whenever someone says "use ddd" and they are not referring to Evans' seminal work.

:-D

AdieuToLogic··on How do functions like alloca allocate memory from the stack?
> One thing that scares me a little is whether there are younger developers, say, 25-40, who can and want to pick up the mantle of Windows internals gurus.

A similar "brain drain" has occurred in macOS (formerly known as OS-X) over the years, as evident in man page documentation for "newer" daemons shipped. An easy way to verify this is to run:

  ps -A | awk '{ print $4 }' | grep 'libexec/.*[a-z]d$'
And compare the man pages for the daemons running with the man page for `launchd`.

While this exercise is illuminating, it is also depressing IMHO.

AdieuToLogic··on Don't classify, hallucinate
> I've worked on expert systems.

I also have worked on/with expert systems.

> I don't agree that they achieve "simulated intelligence". They're preprogrammed with a set of domain-specific rules that are trivially simple by comparison to even relatively simple and small neural networks.

This position does not account for fuzzy logic[0] nor an expert system's ability to produce an answer of "I do not know and here is why", which neural networks are incapable of doing.

I am not saying expert systems are "better" than ANNs as both are algorithms having significant value for what they provide. What I am saying is neural networks are pattern-matching algorithms, quite useful in their own right, and do not possess the ability to identify the lack of existence.

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

AdieuToLogic··on Don't classify, hallucinate
> The only nondeterminism in LLMs is parallelism-dependency in the way floating point operations are carried out and in the decoding strategy

This assertion is "oddly" similar to the GPT answer "neural network inference determinism" produced:

  Neural network inference is often non-deterministic due to 
  factors like floating-point arithmetic and concurrent 
  execution, which can lead to variations in output even with 
  the same input.
Surely this is but a coincidence.

Regarding your previous statement:

> However, on a technical level, neural network inference truly is inherently deterministic.

This holds for a vanishingly small set of conditions, none of which include randomness, nor when context and transformers are involved, let alone underlying model evolution (thus making model use over time non-deterministic).

AdieuToLogic··on AI by Hand
See also:

  Foundations of Large Language Models[0]
0 - https://arxiv.org/pdf/2501.09223v2
AdieuToLogic··on Don't classify, hallucinate
> Intelligence can result from learned behavior, but not from explicit programming of rules by humans.

This is incorrect.

Simulated intelligence can and has been encoded explicitly by humans defining rules programmatically in the form of expert systems[0].

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

AdieuToLogic··on Don't classify, hallucinate
> I feel like I'm fighting a losing battle but I don't see why so many people consider LLMs innately non-deterministic ...

Because LLMs are artificial neural networks[0] (ANN), which are statistical in nature, and thus intrinsically non-deterministic. Pretty much every AI algorithm has randomness involved in its definition and many (most?) incorporate probabilities.

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

AdieuToLogic··on Retire the Abstractions
The more semantically rich a programming language, the more it demands mathematical veracity.

The more a language is mathematically sound, the more its linguistic constructs converge to enforce same.

Programming languages which follow this path ultimately support similar capabilities; Applicatives, Functors, Monads, Monoids, and often meta-programming via higher-kinded types and/or intrinsic AST code generation.

AdieuToLogic··on Retire the Abstractions
Software abstractions are a reification of problem domain understanding. They embody a solution within the mathematical constraints of a programming language such that the collaborations, when done properly, appropriately reflect said understanding.

Discarding abstractions is nothing more than rediscovery of a Big Ball of Mud[0].

0 - https://www.laputan.org/mud/mud.html

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
> So you do or do not believe video evidence of a vehicle leaving a crime scene should be investigated?

I have expressed what I believe. The question you now pose is a strawman argument[0] unrelated to the subject of stolen license plates and how the act thereof implicates innocent people.

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

AdieuToLogic··on Humanising LLM Outputs Is Dumb
Very cool poem!

Here is one I wrote a while back, unrelated to LLMs, yet a poem none the less.

  The Rhythm of Time


  The Sun rises,
  The Sun sets.

  Have I checked the mail?
  No, not just yet.

  The Sun rises,
  The Sun sets.

  Have I caught up with neighbors?
  No, not just yet.

  The Sun rises,
  The Sun sets.

  Have I spent time with friends?
  No, not just yet.

  The Sun rises,
  The Sun sets.

  Have I visited with family?
  No, not just yet.

  The Sun rises,
  The Sun sets.

  Have I told those I love I do?
  No, not just yet.

  The Sun rises,
  The Sun sets.

  Have I lost who I am?
  No, not just yet.

  For all I must do,
  Any money I will bet.

  Is to turn away from;
  No, not just yet.
AdieuToLogic··on Georgia police officers fired after Flock camera misuse
I probably can't. I concede, you win, and please do not feel obliged to respond.

I wish you well in your path in life.

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
> Must be a misunderstanding here.

No worries, textual communications do not convey the nuances verbal conversation can provide, so misunderstandings are inevitable.

> It might be easier if you just stated your actual view instead of playing twenty questions ...

What I am saying is that criminals do their best to "throw off the scent" of who they are. The purpose of their stealing license plates is to infuse confusion and/or delay in discovering their identity.

> Just to be clear: I would be absolutely fine with law enforcement investigating the appearance of my stolen plates at a crime scene ...

Perhaps you would, depending on the circumstance and timing of said investigation. And perhaps others may not be as confident, including your future self.

Either way, a person otherwise completely uninvolved would now be a subject in a criminal investigation. The second-order effects of this only exist due to intentional identity misdirection, which is, of course, the whole purpose of license plates being stolen in the first place.

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
>> What I described is a realistic activity criminals do in order to disguise their identity.

> I've never read about this happening.

A simple web search[0] can elucidate the matter.

0 - https://duckduckgo.com/?q=what+is+the+most+common+reason+car...

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
>> First, I never implied disallowing analysis at a crime scene

> You weren't implying that video evidence of a car should be off-limits to the police?

No, I did not.

A car is not a crime scene. Neither is "video evidence of a car" a crime scene.

> If stealing hair is too hardcore for a criminal ...

What I wrote was:

  Second, "stealing your hair" is a very different thing than 
  stealing license plates off of your vehicle. This should be 
  obvious.
If you cannot see the difference between someone taking an attachment from a vehicle unbeknownst to you and being in your presence to take hair off of your head, then there is no reality which we share.

> ... just use your example and imagine that, instead of having the plate captured on camera, they find it at the scene of a vehicular homicide.

Then that would be entirely different than your original assertion, which was:

  The misuse of license plate data wouldn't make my top ten 
  list of potential powers that law enforcement might abuse.
Wouldn't it?

> Should that license plate be investigated, or should it be off-limits?

What are you even talking about? You said license plate data "wouldn't make my top ten".

When did I raise the question about license plates being investigated or off-limits?

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
> Almost no day-to-day policing is done with warrants!

Just because I feel bad for taking advantage of the above statement, here is a snippet from "Warrants in U.S. Law: The Ultimate Guide":

  Imagine your home is your castle, and the U.S. Constitution 
  has built a protective wall around it called the Fourth 
  Amendment. This wall protects your right to privacy and 
  security from government intrusion. Now, imagine a police 
  officer wants to enter your castle. They can't just knock 
  down the gate; they need a special key. A warrant is that 
  key. It's not just any key, though. It's a special 
  permission slip, signed by a neutral judge (a magistrate), 
  that says the government has a very good, specific 
  reason—called Probable Cause—to believe that evidence of a 
  crime is inside your home, or that you have committed a 
  crime. This document acts as a crucial check on government 
  power, ensuring that law enforcement can't search your 
  property or arrest you on a whim. It's a fundamental 
  safeguard that forces the government to justify its actions 
  before it invades your privacy, protecting every citizen 
  from unreasonable searches and seizures.[0]
Judicial warrants are the cornerstone of U.S. criminal law.

Policing enforces U.S. criminal law.

0 - https://uslawexplained.com/warrant_law

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
> Almost no day-to-day policing is done with warrants!

By this logic, there is no need for "day-to-day policing" to have warrants for:

  - phone taps
  - SMS messages
  - GPS history
  - email
  - banking information
  - justified arrests
  - court approved searches
The result of the position you advocate is known as a Police State[0].

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

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
>>>> Abuse by police officers and other individuals with access to these systems is the answer to the stupid but common question "why should I worry about surveillance if I have nothing to hide".

>>> I never hear that question from Flock supporters. The question I hear is "why shouldn't we be pulling over stolen cars?"

>> These are the same Constitutional question.

> They're not remotely the same Constitutional question.

They absolutely are the same Constitutional question; surveillance by the State without a warrant supported by probable cause, verified by the judiciary and issued thusly, does not have "an upside" of coincidentally identifying criminality. Remember this portion of the 4th amendment:

  ... and particularly describing the place to be searched,
  and the persons or things to be seized.
How does ubiquitous surveillance used as evidence whenever possible not violate this section of the Constitution, if not others?

And how could the question "why shouldn't we be pulling over stolen cars?" be answered without "why should I worry about surveillance if I have nothing to hide" being aligned?

They are the same Constitutional question - to accept one is to accept the other.

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
> Should we not allow the analysis of hair found at crime scenes because someone might steal some of my hair and place it there?

First, I never implied disallowing analysis at a crime scene. What I described is a realistic activity criminals do in order to disguise their identity.

Second, "stealing your hair" is a very different thing than stealing license plates off of your vehicle. This should be obvious.

> Someone framing me in this manner is incredibly unlikely, would be disproven by the other broad investigative powers afforded to law enforcement, and, at least in my opinion, is ridiculously less likely than the cameras photographing real criminals.

The point is that it would be you having to defend yourself for something you did not do. Could you successfully do so? Maybe. It depends on what the crime was and if you could afford a skilled enough lawyer.

And therein lies the rub.

You would have to drop tens-of-thousands of dollars in defense of your not being one of the "real criminals." Because the police are not going to sit there and say, "gee wiz, veec_cas_tant could not possibly be a 'real criminal' because they said they are being framed!"

They are going to say, "we can place you at the scene of the crime."

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
> The misuse of license plate data wouldn't make my top ten list of potential powers that law enforcement might abuse.

Are you sure about that?

How about if your license plate were stolen without your knowledge, placed on another vehicle of the same make and model, then photographed leaving the scene of a crime?

AdieuToLogic··on Georgia police officers fired after Flock camera misuse
>> Abuse by police officers and other individuals with access to these systems is the answer to the stupid but common question "why should I worry about surveillance if I have nothing to hide".

> I never hear that question from Flock supporters. The question I hear is "why shouldn't we be pulling over stolen cars?"

These are the same Constitutional question.

In order to determine what cars are stolen, all cars must be inspected. If all cars are inspected, there is a reasonable case that the 4th amendment is being violated:

  The right of the people to be secure in their persons, 
  houses, papers, and effects, against unreasonable searches 
  and seizures, shall not be violated, and no Warrants shall 
  issue, but upon probable cause, supported by Oath or 
  affirmation, and particularly describing the place to be 
  searched, and the persons or things to be seized.[0]
> But I also think people on HN have a real problem in convincing themselves about the obvious righteousness of their anti-surveillance arguments.

See above.

0 - https://constitution.congress.gov/constitution/amendment-4/

← PreviousPage 3 of 34Next →