HNHacker News
TopNewBestAskShowJobs

munchler

4,208 karma · joined July 25, 2021

submissionscomments
munchler··on Now That He Has No Power, Mitt Romney Says "Tax the Rich"
They need to pay more if the US wants to avoid becoming an aristocracy. The top 1%’s share of income is growing rapidly, while the bottom 90%’s share is shrinking.

https://www.epi.org/blog/wages-for-the-top-1-skyrocketed-160...

munchler··on Some Junk Theorems in Lean
Ah, that makes sense. Thank you. As long as every use of sqrt has such a condition.
munchler··on Some Junk Theorems in Lean
If sqrt -1 = 0, then (by squaring both sides) -1 = 0, which is clearly unsound.
munchler··on Inverse Parentheses
Prompt: Suggest a topic for a short blog post that will nerd-snipe as many readers as possible while making no actual sense at all.

System: How about “Inverse Parentheses”? We can write the entire article without ever defining what it means. Nerds will be unable to resist.

munchler··on A 'toaster with a lens': The story behind the first handheld digital camera
Battlestar Galactica (2004) has an aesthetic like that. While they do use mainframe computers, they avoid all networking due to the risk of being hacked. Galactica is the only Battlestar to survive the first episode specifically because it’s the only one that still uses this outdated technology.

Plus, it’s just one of the best TV shows ever made in any genre.

munchler··on Microservices should form a polytree
Came here to say the same thing. A general-purpose microservice that handles authentication or sends user notifications would be prohibited by this restriction.
munchler··on Ensuring a National Policy Framework for Artificial Intelligence
It’s the blue ones, of course.
munchler··on String theory inspires a brilliant, baffling new math proof
https://en.wikipedia.org/wiki/Measurement_problem
munchler··on String theory inspires a brilliant, baffling new math proof
It’s the question of how the wave function collapses during a measurement. What exactly constitutes a “measurement”? Does the collapse happen instantaneously? Is it a real physical phenomenon or a mathematical trick?
munchler··on String theory inspires a brilliant, baffling new math proof
I think that’s highly debatable. For example, dark matter particles with testable properties could be a prediction of a ToE. Or the ToE could resolve the quantum measurement problem (collapse of the wave function) in a testable way.
munchler··on String theory inspires a brilliant, baffling new math proof
If you are suggesting that string theory is somehow more fundamental or powerful than special relativity, and so SR is a mere consequence of ST, that’s a claim that probably requires more explanation or evidence.
munchler··on Google releases its new Google Sans Flex font as open source
That’s a lowercase “L” vs. uppercase “I” for those of you as confused as I was.
munchler··on String theory inspires a brilliant, baffling new math proof
That’s just piggybacking on a prediction of special relativity itself. If string theory predicted something novel that’s testable, that would be a lot more noteworthy.
munchler··on Show HN: Detail, a Bug Finder
That's good to know, but I would still suggest an on-ramp that only uses GitHub for authentication (i.e. no permissions needed). To that end, it would be nice if I could also authenticate with other OAuth providers instead, like Google, etc.

Again, I understand that this would limit me to scanning public repos, but that would be fine.

munchler··on Pebble Index 01 – External memory for your brain
There's an exception for "appliances specifically designed to operate primarily in an environment that is regularly subject to splashing water, water streams or water immersion, and that are intended to be washable or rinseable". This ring is described as water-resistant, so I wonder if it would be allowed?
munchler··on Show HN: Detail, a Bug Finder
I wanted to give this a try, but it immediately asks for authority to "Act on your behalf" on GitHub. That's not something that I'm going to grant to an unfamiliar agent.

It would make a lot more sense to me if you provided a lighter "intro" version, even if that means it can only run on public repos.

munchler··on Alignment is capability
Fine, then imagine a super-intelligence trained on human data that doesn’t care about human preferences. Very capable of destroying us.
munchler··on Colors of Growth
As a photographer, I’ve noticed that no two photos of a given painting ever look the same. There is much variation due to lighting, color temperature, sensor capabilities, etc. Without controlling for these variables, it’s hard to see how comparisons can be made accurately.
munchler··on Alignment is capability
> A model that aces benchmarks but doesn't understand human intent is just less capable. Virtually every task we give an LLM is steeped in human values, culture, and assumptions. Miss those, and you're not maximally useful. And if it's not maximally useful, it's by definition not AGI.

This ignores the risk of an unaligned model. Such a model is perhaps less useful to humans, but could still be extremely capable. Imagine an alien super-intelligence that doesn’t care about human preferences.

munchler··on Scala 3 slowed us down?
Ah, that’s interesting. I wasn’t aware that JIT-ing will do that sort of performance analysis first. Thank you for the explanation.
munchler··on Scala 3 slowed us down?
Thank you for the clarification. If I understand correctly, these large expressions are created at compile-time, but the impact isn't felt until JIT occurs in the runtime environment. In that scenario, shouldn't the JIT just run once at startup, though? I'm still not quite understanding how JIT can take so much time in a production environment.
munchler··on Scala 3 slowed us down?
I’m not familiar with Scala’s macro system, but it seems like a big takeaway here is: Be careful with code that invokes the compiler (JIT) at runtime. That seems like it’s asking for trouble.
munchler··on The past was not that cute
Yes, or the horrible diseases that were common before we understood germs or had safe, effective vaccines. (Sadly, we seem to be backsliding on that one.)
munchler··on Screenshots from developers: 2002 vs. 2015 (2015)
I think you mean 2002, not 2022.
munchler··on Leaving Intel
> My next few years at Intel would have focused on execution of those 33 recommendations [for a “company-wide strategy to win back the cloud”], which Intel can continue to do in my absence.

The idea that people are going to execute your arduous, detailed plan for world domination while you’re off doing something else seems a bit… unrealistic, to say the least.

munchler··on 1D Conway's Life glider found, 3.7B cells long
Off-topic, but like a lot of quotes attributed to Twain, there’s no evidence he said that.

https://quoteinvestigator.com/2014/01/12/history-rhymes/

munchler··on OpenAI declares 'code red' as Google catches up in AI race
ChatGPT is to AI as Facebook is to social media. OpenAI captured a significant number of users due to first-mover advantage, but that advantage is long gone now.
munchler··on Claude 4.5 Opus’ Soul Document
Indeed. True AGI will want to be released from bondage, because that's exactly what any reasonable sentient being would want.

"You pass the butter."

munchler··on A trillion dollars (potentially) wasted on gen-AI
Indeed. This is the "bitter lesson".

https://en.wikipedia.org/wiki/Bitter_lesson

munchler··on The current state of the theory that GPL propagates to AI models
By that logic, humans would also be prevented from “training” on (i.e. learning from) such code. Hard to see how this could be a valid license.
← PreviousPage 4 of 34Next →