HNHacker News
TopNewBestAskShowJobs

hyperthesis

778 karma · joined January 1, 2023

submissionscomments
hyperthesis··on A coder considers the waning days of the craft
I think thought is different; but I also see no barrier to strong AI. Jobs might be the least of our problems at that point.
hyperthesis··on A coder considers the waning days of the craft
leftpad
hyperthesis··on A coder considers the waning days of the craft
To be really fair, there are levels of programming. The easiest level is traditionally vulnerable to automation. There's a lot of "accidental complexity" (https://wikipedia.org/wiki/No_Silver_Bullet), e.g. ffmpeg, git; even in recalling syntax and idiom of an infrequently used tool, e.g. bash, jq.

Once upon a time, developers had to pore over manpages, paper textbooks, or memorize it. Then came google. Next, stackexchange. And now GPT-4 - which is kind of a search engine plus rudimentary synthesis.

But let's be clear. This is low-hanging fruit. It's a poor substitute for actual thought. And surely we are safe.

hyperthesis··on Lessons I wish I had learned before teaching differential equations [pdf] (1997)
Aren't most DEs not solvable analytically? i.e. only a tiny subset are neatly solvable - like precisely manufactured puzzles. In general, for any real problem you encounter "in the wild", numerical methods are the only way to find solutions (which are approximate).

DE theory is still useful for designing frameworks within which numerical methods can operate.

At least, that's my understanding.

hyperthesis··on New models and developer products
costs != damages
hyperthesis··on The Grug Brained Developer (2022)
> limit damage of big brain developer early in project by giving them thing like UML diagram

Ah so this is the purpose of UML!

hyperthesis··on The Grug Brained Developer (2022)
> but grug must to grug be true
hyperthesis··on One line in the oldest math text hinted at hidden universes [video]
If we Idefine* mathematics as proving statements, then Elements is the first text we know of.

If we define mathematics as, e.g. counting, it is much older.

(It's interesting that mathematics is commonly thought of today by most people as to do with numbers, yet Elements is geometry.)

hyperthesis··on The Geometry of Truth: Do LLM's Know True and False
When LLMs are good enough, they will do the science of understanding LLMs for us. And all other decisions.
hyperthesis··on Researchers identify largest ever solar storm in 14k-year-old tree rings
but consider the standard used for water grid 'hardening': 1-in-100-year flood
hyperthesis··on Write more "useless" software

  I used to *enjoy* doing physics. Why did I enjoy it? I used to *play* with it.  I used to do whatever I felt like doing - it didn't have to do with whether it was important for the development of nuclear physics, but whether it was interesting and amusing for me to play with.
https://www.asc.ohio-state.edu/kilcup.1/262/feynman.html
hyperthesis··on OpenAI is too cheap to beat
Greater uptake -> more data -> better AI

If anything is going to be based on how good the tech is, it's this.

hyperthesis··on Writing down unfiltered thoughts enhances self-knowledge
The feedback-evaluation of you also must be evaluated.
hyperthesis··on Making Hard Things Easy
When explanations include superfluous detail, I find it very confusing. Like Chekhov's gun, I keep trying to fit it into the plot but it doesn't fit.

My super power is a terrible memory. So I have to understand things in order to remember them (aka a cognitive compression). I can't just learn things like normal people.

hyperthesis··on Pythagorean Theorem found on clay tablet 1k years older than Pythagoras (2009)
Agree it's closer but still an instance.
hyperthesis··on Career Advice (2013)
I think if you're engaged with what you do, you will learn and develop more than if not.

OTOH there seems to be a developmental window for some specific skills, e.g. phoneme acquisition 6-12 months; (human) language acquisition < 7 years.

hyperthesis··on Career Advice (2013)
Maybe not change you, but become mistaken as to who you are.

But who is anyone, anyway? How do you know? Is the old advice is profound or meaningless:

  Temet Nosce
hyperthesis··on The short-lived experiment with rubber tires on railways (2013)
Feynman on the turn-adapting bit https://youtube.com/watch?v=y7h4OtFDnYE
hyperthesis··on jq 1.7
For their pick() example:

  jq -n '{"a": 1, "b": {"c": 2, "d": 3}, "e": 4} | pick(.a, .b.c, .x)
wouldn't a more jq-y syntax be:

  | {a, b.c, x}
(which fails on the 'b.c' term)
hyperthesis··on Low-Code Programming Models
There's a spectrum of difficulty (of problems, not just within them as you note). Low code helps the low end.

I'm surprised TFA implies spreadsheets aren't still dominant.

hyperthesis··on A journey into the shaken baby syndrome/abusive head trauma controversy
Yeah, I think "mettle" here is like a sword and shield and the ability to use them (read and understand scientific literature, and able to do so, self-directed, for years).

But whether a person does use them, and for what, is entirely due to the person themselves.

hyperthesis··on One robber baron’s gamble on railroads
When you owe the bank enough money, and you can't pay... you don't have a problem. The bank has a problem.
hyperthesis··on Archaeologists discover oldest wooden structure
They're normal.

When our first ancestor stood upright, a right angle was formed with the ground.

A hand axe, a knapped stone lashed at right angles to a branch.

Some say fire or dogs are humanity's first and greatest inventions - but we only domesticated those.

I say weaving: an extraordinary crossing of threads at right angles that magically support each other, clothing that is the biblical coming-or-age of human-kind, fabric that drapes organically (and is still used today, even as threads become artificial), rope, leaves for shelter, even decorating hair.

And it directly lead to the single greatest invention of our time, that binds all things together: gaffer tape.

hyperthesis··on LKLogic - math olympiad solutions [video]
Here's my working for that problem.

Because it's a puzzle, it will be in the form sqrt(x^2), so the answer will be x.

The only perfect square I know for this level that could match is (a+b)^2 = a^2 + 2ab + b. With b=1, the first term needs to be in the form a^2 + 2a or a(a+2).

I had no intutition for what this could be, then noticed it needs to be close to a perfect square itself, and this closest to this would be the two inner factors times the two outer factors (for it to work out neatly). Writing as binomils for ease of calculation:

  ((1000+0)(1000+3))   ((1000+1)(1000+2))
  (1,000,000 + 3000)   (1,000,000 + 3000 + 2)
This is the form sought! (with a=1,000,000 + 3000). It works because 0+3=1+2. So we have

  sqrt( (1,000,000 + 3000) + 1)^2 ) = 1,000,000+3000+1 = 1,003,001
hyperthesis··on LKLogic - math olympiad solutions [video]
A recent example (https://youtube.com/watch?v=KwIFM5cwMF4): calculate

  sqrt( (1000)(1001)(1002)(1003) +1 )
It's been an engaging way to refresh the basics, and practice them. It's also a nicely paced drip-feed, and has answers for when I get stuck.

Like high-school math problems, they are manufactured puzzles (i.e. with a neat solution), which narrows the search space and tells you if you are on the right track. But unlike those, these have 2-3 tricks, so you get no feedback after the first step. It seems a bit like NP-complexity: hard to find the method; easy to check.

I'm sure there are many math olympians here on HN (and winners), who would find these unchallenging. Speaking for myself, I can do most in my head, and most of the remainder on paper - when I need their answer is when I learn the most.

A maybe-criticism: the answers are very clear, but they don't say why those steps were chosen. To me, the channel is more like a slightly-cleverer peer, rather than a super-genius master. Sometimes I find a better method, and it becomes a springboard for related ideas. And all that might well be better for learning.

hyperthesis··on CatalaLang/catala: Programming language for law specification
A big problem is you lose all the case law that interprets the law. Like discarding two centuries of bug reports and patches.

At the same time, laws have been codified (i.e. the case law rewritten coherently, combining all the patches combined), such as the Uniform Commercial Code.

hyperthesis··on Don’t mess with a genius (2010)
World's greatest detective? Independently wealthy?
hyperthesis··on The Lindy Effect
You clearly are more informed than me, but my experience was from randomly reading pages. Maybe I got lucky. Though I recall one page with long lists of ancestry, x begat y - similar to a telephone book as you mention.
hyperthesis··on The Lindy Effect
java will continue for 28 years; c much longer; and when both are long gone, lisp and fortran will still be here.
hyperthesis··on The Lindy Effect
Every page of the KJB seems to have a phrase that has entered the language (e.g. give up the ghost) - though I can't be sure that those phrases weren't already popular and merely recorded.
← PreviousPage 8 of 14Next →