HNHacker News
TopNewBestAskShowJobs

knuthsat

774 karma · joined September 22, 2020

submissionscomments
knuthsat··on Ask HN: What is the HN of Cryptocurrency?
Yep, nothing gets me salivating as much as the idea of a digital Euro issued by the EU, implemented to be fully private (can't see sender/receiver/transaction count/transaction amounts), bulletproofs [0], combined with view keys that are single-use only when the law needs to intervene. Zero-knowledge proofs used to determine if I paid my taxes without knowing how much I earn and similar exotic behavior.

Was quite surprised something like this is possible and I love seeing new crypto tech on HN.

0: https://crypto.stanford.edu/bulletproofs/

knuthsat··on The emergence of heat and humidity too severe for human tolerance (2020)
I think California's air is too dry to get to the wet-bulb temp limit.
knuthsat··on Scientists make discovery of dead zones where nothing can live on two US coasts
Why would that be a solution if you still need to manage manure to grow plants? You would still have runoffs due to similar mismanagement. It's not the management of human wastewater that is an issue with ocean deadzones.
knuthsat··on World to hit temperature tipping point 10 years faster than forecast
To me it sounds like:

1. anything humans decide to do should be accepted because of invisible positive outcomes (who could have predicted Internet from oil combustion),

2. the moment negative outcomes become visible, let's wait until it becomes a problem, any attempts at prediction when it will become a problem are futile and fearmongering,

3. humans can solve any problem they encounter.

All three can be used to create an argument for solar/wind. Who knows what kind of positive stuff will solar/wind create (let's see), whatever happens (due to inherent volatility and energy storage problem of solar/wind) let's wait until it happens and then see, we are entirely capable of solving the issue.

knuthsat··on Scientists make discovery of dead zones where nothing can live on two US coasts
I do not understand how cities are blamed when a farm with 2500 dairy cows produces similar waste to a city of 411,000 people.[0] Cow poop is destroying the oceans due to massive amounts of mismanagement or just floods. Just goes to show the unpredictable n-th order effect of allowing the current ways of raising livestock (excluding the, now known for centuries, effect of global pandemics).

0: https://nepis.epa.gov/Exe/ZyNET.exe/901V0100.txt?ZyActionD=Z...

knuthsat··on World to hit temperature tipping point 10 years faster than forecast
I don't care about models. I care about variance. The additive nature of climate change means that there is no variance in the other way. The effect size does not need a model of time for it to be determined worrisome.

Permafrost is speculation when it comes to time, not the size of the effect. There's no natural process that will reverse the release of 100 years of 2020 greenhouse emissions in a short amount of time.

There's no scientific way to demonstrate that human activity increases the planet's temperature -> therefore no reason to worry, but there's also no scientific way to demonstrate that there are interventions that work to stop the increase -> so no reason to worry?

Of course, the question of risk is asked before additive intervention, so in a way, combustion of oil should have never been done in the way it was, similarly raising of livestock (global pandemics), but the way unscientific think -> no data that demonstrates risk -> no risk at all. Then after the risk surfaces, we ask the question "Why should we change the way we live just because we became aware of the risk?". Sounds worrying to me too.

knuthsat··on World to hit temperature tipping point 10 years faster than forecast
The thing about these models is that they are not necessary if you want to understand the magnitude of change.

For example, we can estimate correctly (within the same order of magnitude) the emissions of CO2 equivalent gases a year that we do as humanity.

Then we can estimate correctly (within the same order of magnitude) the CO2 equivalent gases stored in permafrost or ice. [0]

Now we can ask a question. What if the ice melts? How many years of 2020 human activity is stored there. It ends up being more than 100 years of 2020 emissions.

It does not really take that much modelling to realize that a temperature increase that melts the permafrost can result in completely unpredictable outcomes, that are very probably not positive.

That is of course, if one believes in human caused climate change. The amount of CO2 equivalent gases that is emitted by everything else (not humans) is magnitudes more, but obviously it was not a problem for the Earth to handle before. Now, the n-th order effects will increase the rate of warming and will cause new invisible effects.

0: https://en.wikipedia.org/wiki/Arctic_methane_emissions

knuthsat··on Driving engineers to an arbitrary date is a value destroying mistake (2020)
I agree. I've been naive at the beginning of my career, thinking that a great product sells itself, but it's simply not true.

There's so much trash everywhere that is earning millions (book reading apps, silly chart-db software, proprietary SQL databases etc.).

I was quite shocked by the levels of disfunctionality in the software engineering sections of the company I worked at yet still, the company has huge success. We basically got requests from the product team to make something work in a day or two and even though it was completely horrible code that absolutely paralyzes us at some moment in the future, the company still reigns.

knuthsat··on Faster CRDTs: An Adventure in Optimization
https://pubsonline.informs.org/doi/abs/10.1287/ijoc.4.2.146

Constant time feasibility check of inserts and linear time update after insert.

Of course, there are tricks that support multiple simultaneous inserts and tricks that minimize the update of the data structure after insert.

But, if you want to do 2-opt (k-opt) with time windows, then you have to work out the details because no one in academia did.

knuthsat··on Faster CRDTs: An Adventure in Optimization
http://webhotel4.ruc.dk/~keld/research/LKH/

Helsgaun's reports are pretty descriptive when it comes to LK algorithm.

But yes, I do agree that the original writing and the way the algorithm is taught in universities is a little bit cryptic and sometimes a completely different algorithm.

Simple explanation of the algorithm is:

1. 2-opt swap (A .. B -> .. -> C .. D ===> A .. C <- .. <- B .. D) - constant time compute of everything to check feasibility and new cost,

2. recursive 2-opt - now between C .. B with bounds (you can figure out which swaps are inferior and not recurse).

That's all there is to the algorithm. Helsgaun improves it a bunch (with preprocessing, deeper and more efficient k-opt moves, more efficient datastructures) but keeps the same idea.

There's another very flexible method called "ejection chains" started by Fred Glover and is very effective if you couple it with efficient data structures but also, very cryptic. It easily supports time windows, breaks, flexible work hours, flexible number of vehicles etc. Of course, the latest papers in "ejection chains" show no such thing :D

Sometimes you can stumble upon PhDs publishing their code and the tricks do not exist at all.

Just recently there's been a nice categorization of "timing problems" https://onlinelibrary.wiley.com/doi/abs/10.1002/net.21587

and there they try to categorize the time complexity of solving these problems and the tables are just not as up-to date with the industry. Some O(n log n) are O(n) or even better (depending on the local moves you do).

But it's a good start. A lot of these subproblems can be implemented really fast on a CPU and I guess the moment they are explicitly solved in a software library that's when the heuristics research will improve.

knuthsat··on Oatly loses trademark battle against British farm over oat milk
Temple Grandin's corridors provide a stress free roaming path for the cows that feel the urge to be milked. The corridor ends with a proper curve that makes the cow stop right above the ground mounted camera that is trying to capture the teats. The moment the teats are visible, the mounted and immovable milking robot reaches out with the hand and is trying to catch on the teats with the feedback from the camera. Eventually it latches on and sucks around 20 L of milk. The cow for some reason stands still during the whole process and after it's done the cow continues forward, making room for the new cow that is waiting in line.
knuthsat··on Oatly loses trademark battle against British farm over oat milk
1g of protein per 100mL is not as much as cow's milk. Although, human milk also does have around 1g of protein per 100mL, so I guess it's fine for toddlers.
knuthsat··on Oatly loses trademark battle against British farm over oat milk
When it comes to price, that's what government subsidies do for the cow's milk and high demand does for the oat milk. Although, I've seen Temple Grandin's methods live and a milk farm with milking robots basically runs itself (all cows just walk to the robot to be milked and the robot finds the teats with a bit of computer vision).

But yes, other than a good soy milk, most of plant-based milks are just empty calories.

knuthsat··on It looks like a product but is secretly a subscription
Another side of the coin, the cow milk production obliterates any savings on transport of the milk to the consumer. It's one of the most energy intensive ways to produce food. (impregnating the cow every year, feeding the cow to support more than 7 gallons of milk a day, creating insane externalities by mishandling cow poo).
knuthsat··on The Bitcoin mine with its own power plant
But if we are arguing if waste is justified then obviously it's not for you or me to decide if it is, including the humans from the future.

I'm just laughing at the inconsistency. If people were really consistent in their views of (un)justified waste, I just don't see the same uproar to those other magnitudes more wasteful things (like eating meat, spending a life playing video games etc.).

It's like being mad about one of the fastest functions in your code when there's many others to optimized.

I also do not want to talk about the philosophical side to taking a life of an ant (delve into what waste is justified or not, and which degrees of dopamine response would justify it).

knuthsat··on The Bitcoin mine with its own power plant
But I was not making an argument that Bitcoin is not wasteful.

I was making an argument that deciding what is a valuable human activity does not include wastefulness at all. (OP was implying that someone from the future will value these mining efforts in a regretful way)

People are having fun earning money by burning gas and mining Bitcoin. There are so many other equivalent activities that do not receive any uproar but are even more wasteful.

For example, eating meat is insanely wasteful. Yet you will find people defending it.

Wasting energy is the thing we do for various reasons. The underlying "regret" that someone from the future should have due to it not being productive or useful is completely irrelevant. We rarely do things because they are energy efficient.

knuthsat··on The rise of never-ending job interviews
For me, if the 2nd interview is not me talking to someone from their company that I might work with and if I cannot ask questions about the problems they solved, their approach to programming or building teams (depending on their role), I just say to the recruiter that I'm not interested.

The only reason why I'd come somewhere is if I like the engineers or if I'm in need of money. If I need the money, I won't ask a thing.

knuthsat··on The Bitcoin mine with its own power plant
Valid argument for what?

Humans around the world are consuming food, heating/cooling themselves, all in the service of some gamified activity. Some of these activities are as useless as mining Bitcoin. Yes, these activities aren't burning through energy, but people are burning through energy, with the sole focus of doing the activity.

Any justification for these activities can most definitely be used to justify people wasting energy on mining Bitcoin.

knuthsat··on Faster CRDTs: An Adventure in Optimization
Concorde is fine. The LK heuristic was published in 1973. After that, until the mid 90s, no one could outperform the original published results with the same heuristic.
knuthsat··on The Bitcoin mine with its own power plant
Absolutely, that's exactly the answer to the guy talking about "wasting energy" on Bitcoin. On what else would we waste it then?

Energy is being wasted everywhere on much sillier things at much grander scales.

knuthsat··on The Bitcoin mine with its own power plant
I was thinking more in the lines of Star Trek / The Orville where material wealth is no longer a thing.
knuthsat··on The Bitcoin mine with its own power plant
Well, from my perspective, a bunch of us are playing some very weirdly human constructed game of wasting life years on work and passive content consumption.

If we ever make it to a cashless utopia, I'm pretty sure someone's going to look at us and see how much untapped human potential was wasted on years of watching a screen and experiencing dopamine release.

knuthsat··on Faster CRDTs: An Adventure in Optimization
I must say that when it comes to discrete optimization, the genetic/ant/simulated annealing/etc. stuff is more popular in academia than in industry (at least the industry that doesn't heavily include academics).

Works like Lin-Kernighan heuristic are extremely rare and a bunch of knowledge exists in industry only. Even the mentioned heuristic was for decades being implemented incorrectly until one individual came and demonstrated its superiority (K. Helsgaun).

I mean, most of the code that gets released today, doesn't even handle time windows constraint in the best way possible (optimal updates, constant time feasibility evaluations etc.). I believe all open source vehicle routing libraries do not have any data-structure relevant optimizations for handling time windows, task precedence, dynamic workshift starts etc. All are fairly simple implementation tricks that just got lost under giant amounts of population based heuristics or mathematical linear programming approaches.

knuthsat··on Faster CRDTs: An Adventure in Optimization
Problem is that academics are rarely experts at programming or have knowledge of computer architectures as much as someone in the industry. There are various tricks that are never taught at college, therefore academics have no idea some stuff even exists.

Best example is discrete optimization research (traveling salesman, vehicle routing and its variants, schedule rostering etc.). Stuff you find in the papers there achieves state-of-the-art results very slowly (using integer linear programming or some rarely optimized heuristics) making you believe these instances of a general NP-hard problem can't be solved quickly.

When you start tinkering, you either find that data structures can be added that reduce the complexity significantly or that there are regularities in instances that, when exploited, support massive speedups.

I would say that TSP research is an exception but most of stuff coming out that has a lot citations is way too slow and is never as brilliantly implemented as Lin Kernighan heuristic or other stuff from the age of insanely slow computers.

knuthsat··on Launch HN: Matrubials (YC S21) Milk-derived therapeutics for infectious diseases
Nice to see your focus on women's health. The amount of women with recurrent/embedded UTIs and other issues close to the vagina is enormous.

I was quite surprised to find out there are thousands of women suffering decade long issues with no help or just enormous, health devastating doses of antibiotics (multi-year long therapies).

There's been so many approaches over the years (I watched the d-mannose just explode in sales when previously there was none available) but they do not seem to work completely.

There are also small research groups trying to figure out what's happening but there's still no widely accepted therapies. For example, doctors from most EU contries would never prescribe the amount of antibiotics required for multi-year therapies.

It was also quite surprising to me, as a male, when I got my first UTI, they gave me quite a lot of antibiotics, but then when my wife complains about it, she gets silly advice (get pregnant, drink multivitamins, it's probably not UTI [until she starts having kidney infections or urinates blood]).

knuthsat··on One Tenth of a Second
Engineering existed way before any kind of math or symbolic manipulation. It was a collection of heuristics.

Information theory came after people were already sending signals over the wire. Similarly, there were architectural feats before geometry or Newton’s laws were discovered.

knuthsat··on Smell You Later: The Weird Science of How Sweat Attracts
After a while I get natural body salts on the hairs of my armpits. And I can’t wash them away.
knuthsat··on Crafting Interpreters is available in print
I just finished the first part of the book (building the intepreter, but I did it in typed Python).

The book sent me back to the college days where I remember doing similar things.

Can't wait to start working on the bytecode virtual machine.

It's really an excellent book.

knuthsat··on IPv4 pricing
Any reason why having server infrastructure in only IPv6 is an issue?
knuthsat··on Lucasfilm hires YouTuber who specializes in deepfaking big-budget movies
The deep fake one looks very weird to me. The mouth is sometimes not closed and there is minimal movement on the upper lip on words that would need more.
← PreviousPage 4 of 13Next →