HNHacker News
TopNewBestAskShowJobs

theodorejb

2,166 karma · joined May 15, 2014

Software engineer from Minnesota. I enjoy working with modern PHP, SQL, TypeScript, and Svelte.

Email: theodorejb@gmail.com Website: https://theodorejb.me

submissionscomments
theodorejb··on Safari releases are development hell
> Most users will have other browsers installed along with Safari. And they will just switch browser if something doesn't work, they are used to it.

Unfortunately iOS users don't have this option.

theodorejb··on Safari releases are development hell
These were just a few issues with the latest version. Similar problems have occurred with past releases for years, and it seems the author is justifiably stressed out over the lack of transparency and never being sure if/when a breaking change is about to occur for customers using Safari.
theodorejb··on GPT-4
Oh? What algorithm was executed to discover the laws of planetary motion, or write The Lord of the Rings, or the programs for training the GPT-4 model, for that matter? I'm not convinced that human creativity, ingenuity, and understanding (among other traits) can be reduced to algorithms running on a computer.
theodorejb··on GPT-4
You are assuming that our minds are an algorithmic program which can be implemented with source code, but this just begs the question. I don't believe the human mind can be reduced to this. We can accomplish many non-algorithmic things such as understanding, creativity, loving others, appreciating beauty, experiencing joy or sadness, etc.
theodorejb··on GPT-4
We may use computers as a tool to help us solve it, but nonetheless it takes a conscious mind to understand the conjecture and come up with rational ways to reach the solution.
theodorejb··on GPT-4
When mathematicians solve the Collatz Conjecture then we'll know. This will likely require creativity and thoughtful reasoning, which are non-algorithmic and can't be accomplished by computers.
theodorejb··on GPT-4
With this example, a human can examine the implementation of the doesHalt function to determine what it will return for the input, and thus whether the program will halt.

Note: whatever algorithm is implemented in the doesHalt function will contain a bug for at least some inputs, since it's trying to generalize something that is non-algorithmic.

In principle no algorithm can be created to determine if an arbitrary program will halt, since whatever it is could be implemented in a function which the program calls (with itself as the input) and then does the opposite thing.

theodorejb··on GPT-4
My question was in response to the statement "Neither a human can solve the halting problem."

There's an interesting article/podcast here about what computers can't do: https://mindmatters.ai/2020/08/six-limitations-of-artificial....

theodorejb··on GPT-4
Lol. Is there source code for our mind?
theodorejb··on GPT-4
For what input would a human in principle be unable to determine the result (assuming unlimited time)?

It doesn't matter what the algorithmic doesHalt function returns - it will always be incorrect for this program. What makes you certain there is an algorithmic analog for all human reasoning?

theodorejb··on GPT-4
How do you know that? Do you have an example program and all its inputs where we cannot in principle determine if it halts?

Many things are non-algorithmic, and thus cannot be done by a computer, yet we can do them (e.g. love someone, enjoy the beauty of a sunset, experience joy or sadness, etc).

theodorejb··on GPT-4
> The human brain is nothing more than a bio computer

That's a pretty simplistic view. How do you know we can't determine whether an arbitrary program will halt or not (assuming access to all inputs and enough time to examine it)? What in principle would prevent us from doing so? But computers in principle cannot, since the problem is often non-algorithmic.

For example, consider the following program, which is passed the text of the file it is in as input:

  function doesHalt($program, $inputs): bool {...}

  $input = $argv[0]; // contents of this file

  if (doesHalt($input, [$input])) {
      while(true) {
          print "Wrong! It doesn't halt!";
      }
  } else {
      print "Wrong! It halts!";
  }
It is impossible for the doesHalt function to return the correct result for the program. But as a human I can examine the function to understand what it will return for the input, and then correctly decide whether or not the program will halt.
theodorejb··on GPT-4
> If, during training, some collection of weights exist along the gradient that approximate cognition

What do you mean? Is cognition a set of weights on a gradient? Cognition involves conscious reasoning and understanding. How do you know it is computable at all? There are many things which cannot be computed by a program (e.g. whether an arbitrary program will halt or not)...

theodorejb··on GPT-4
> It's not clear to me if the lesson here is that GPT's reasoning capabilities are being masked by an incorrect prior (having memorized the standard version of this puzzle) or if the lesson is that GPT'S reasoning capabilities are always a bit of smoke and mirrors that passes off memorization for logic.

It's a lot closer to the latter. GPT doesn't have "reasoning capabilities", any more than any other computer program. It doesn't have a clue what any of its input means, nor the meaning of the text it outputs. It just blindly spits out the words most probable to follow the prompt, based on its corpus of training data and the weights/biases added to fine tune it. It can often do a good job at mimicking reasoning, but it's not.

theodorejb··on “Forbidden-word” lists are a symptom of administrative bloat
If normal, everyday words are blacklisted and put one at risk of discipline or censure, that has a chilling effect on speech in general. People consider it safer not to speak at all, even if they have an important idea or viewpoint which should be communicated.
theodorejb··on Bing AI can't be trusted
The problem with Artificial "Intelligence" is that it really has no intelligence at all. Intelligence requires understanding, and AI doesn't understand either the data fed into it or the responses it gives.

Yet because these tools output confident, plausible-sounding answers with a professional tone (which may even be correct a majority of the time), they give a strong illusion of being reliable.

What will be the result of the current push of GPT AI into the mainstream? If people start relying on it for things like summarizing articles and scientific papers, how many wrong conclusions will be reached as a result? God help us if doctors and engineers start making critical decisions based on generative AI answers.

theodorejb··on Sign in with Google has been removed for your privacy
Not if I don't use a Google email address. :)
theodorejb··on Sign in with Google has been removed for your privacy
If I sign in with Google, won't Google know I have an account on that site? I would consider that a privacy issue.
theodorejb··on Brave browser now blocks cookie banners
Install uBlock Origin, open Settings > Filter lists, and enable EasyList Cookie in the Annoyances section. As I understand it this will do the same thing Brave does.
theodorejb··on New cars will stop drivers from speeding under European laws
> When ISA detects the car is over the limit, it may induce visual and audible warnings, as well as haptic feedback through the steering wheel or throttle pedal, or it may begin accelerating the vehicle if no action is taken.
theodorejb··on Python’s “type hints” are a bit of a disappointment to me
> 1. If you're using a dynamic language, then _by definition_ the language will not enforce your static hints at runtime.

Counterexample: PHP is a dynamic language which enforces static type declarations at runtime.

theodorejb··on Show HN: Supernotes 2 – a fast, Markdown notes app for journalling and sharing
> things that obviously don't need it

Why do you think a note taking service doesn't need end-to-end encryption? Perhaps you don't care if a rogue employee reads your personal diary, or if the company gets hacked and all your private notes are stolen. Or if an overreaching government demands your data.

Personally I do care. The note taking solution I currently use has E2E encryption, and I won't consider switching to a different solution that lacks this.

theodorejb··on Show HN: Supernotes 2 – a fast, Markdown notes app for journalling and sharing
From the features page:

> On Supernotes your data is always encrypted in transit (forced SSL) and encrypted at rest (AES-256). Our team will never read or access your note content, unless we have received your express permission during a customer support interaction.

Sorry, but the fact that you can read it makes this a no-go for me. Unless a note-taking solution offers end-to-end encryption, I don't consider it a safe place for storing private information.

theodorejb··on Does the human lifespan have a limit?
Yes, and Moses as well who was resurrected. But they are in heaven where the Tree of Life is. We cannot live forever without eating from that tree (see Gen. 3:22-24).
theodorejb··on Does the human lifespan have a limit?
Consider another translation: “And the LORD said, My spirit shall not always strive with man, for that he also is flesh: yet his days shall be an hundred and twenty years.” (Genesis 6:3, KJV).

This verse is not specifying a maximum human lifespan, but the period of probation in which God's spirit would strive or plead with mankind before their judgment by the Flood. This is the period during which “the longsuffering of God waited in the days of Noah, while the ark was a preparing” (1 Peter 3:20).

Genesis records numerous descendents of Noah who lived longer than 120 years (see Gen. 11:10-25). Lifespans did decline rapidly after the Flood, however, and it was recorded in Psalms that “The days of our years are threescore years and ten; and if by reason of strength they be fourscore years, yet is their strength labour and sorrow; for it is soon cut off, and we fly away.” (Psalms 90:10).

Even today with our advanced medical knowledge and technology, life expectancy is still typically between 75-85 years.

theodorejb··on Pfizer board member suggests end to mask, vaccine mandates
Unscientific mask and vaccine mandates should be dropped regardless of the opinion of someone on Pfizer's board.
theodorejb··on Unvaccinated workers who lose jobs ineligible for unemployment benefits (Canada)
It seems we are heading in a direction where those who don't take the jab will be blocked from receiving government services, prevented from patronizing various businesses, and even restricted from traveling and the ability to work. Are most citizens really okay with this medical apartheid, or are they afraid of speaking out against it?
theodorejb··on The Mandate is a one-size-fits-all sledgehammer [pdf]
Never before have I seen restaurants and hospitals requiring me to show proof of a particular medical treatment before they will serve me.
theodorejb··on Big Tech are supposed to be the plumbers, not patricians of internet discourse
Are you saying the vaccine only becomes effective if everyone has it? What good is it then, since we will never reach 100% vaccination?

The claim that unvaccinated people are a breeding ground for more effective versions of the virus sounds like a Big Pharma talking point, rather than something with solid science behind it. My understanding is that environmental pressure results in mutated variants becoming widespread. Couldn't vaccines themselves cause this? The virus hardly mutated for a whole year, but then once inoculations became available it seems that more infectious variants are popping up left and right.

theodorejb··on Why Is There a Full-Scale Replica of the Parthenon in Nashville, Tennessee?
Interesting. "Plea by Fire: A Warning for Nashville and the Cities of Earth" https://youtu.be/Ggn2nur1Ga4
← PreviousPage 3 of 4Next →