HNHacker News
TopNewBestAskShowJobs

mamon

1,383 karma · joined August 22, 2015

submissionscomments
mamon··on How Did Software Get So Reliable Without Proof? (1996) [pdf]
Cars must necessarily follow the laws of physics. Software does not have such limitations, which creates hundreds times more ways to shoot yourself in a foot.
mamon··on How Did Software Get So Reliable Without Proof? (1996) [pdf]
"No one reads anything. Those who do read, they do not understand. Those who do understand, they immediately forget."

"Linus's law" is refered to as "Linus's fallacy" now.

mamon··on Why Is 1 World Trade Center Missing from Spider-Man?
Why absurd? they are performance that just happen to be occurring frequently. If a Broadway musical is played every night, does it stop being a musical?
mamon··on Germany will violate international agreements with Unitary Patent, says FFII
In fact I think EU should take few steps back: the perfect state was before Lisbon treaty, when EU was basically just a free trade zone. Since Lisbon they try to make it a single country, with unified policy on international affairs, military, etc, which doesn't make sense.
mamon··on Apple Helps FBI Track Down Floyd Protester Accused of Firebombing Cop Cars
Exactly, "the overwhelming importance of a higher cause" is how terrorists are made.
mamon··on Nearly two-thirds of US adults unaware 6m Jews killed in the Holocaust – study
Even less people know that the total number of casualties of WW II was about 70 million. Many people in the West are under impression that WW II was all about Jews. It wasn't. Even Holocaust wasn't solely about Jews, as they were also people of other nationalities killed in death camps.
mamon··on SoftBank set to sell UK’s Arm Holdings to Nvidia for $40B
I think GP is arguing that public companies, which are often blamed for "shortcomings of capitalism" are in fact not capitalistic at all. "Collective ownership of means of production" was postulated by Karl Marx as one of the pillars of communism.

Publicly traded companies allow shareholders to limit their risk - when things start to go wrong you sell your shares to a bigger fool, and it's not your problem anymore. Also, as shareholders are not personally responsible for wrongdoings of their companies it also limits the risk to the buyer.

In short: publicly traded companies are enablers for moral hazard that we constantly observe in financial markets.

mamon··on Why online voting is harder than online banking
>> You imagine that in between there are competent and honest people counting the votes

They don't have to be honest at all: you simply allow each competing political party to designate their own people to count the votes, so they keep close eye on each other. Of course you also allow people not affiliated with any party, independent international NGOs, etc.

The main advantage of paper votes isn't that they are completely unhackable, but that the hacks do not scale - you would need thousands of co-conspriators to influence something like US presidential elections.

mamon··on Contradictions in Roman law left incurable headaches for its judges
At least in my country the law that is ruled unconstitional loses it's power immediately, unless the constitutonal court itself grants some grace period. The thing is: constitutional court can't by itself decide which laws to start analysing next, there must be some formal complaint by either the President, group of members of parliament, or several other institutions, including IIRC any complaint signed by at least 100k citizens.
mamon··on 'Wild West' mentality lingers in modern populations of US mountain regions
Being a criminal, especially in times when many crimes were punishable by death, it also requires a risk-taking personality, so GP's point still stands.
mamon··on Ninth Circuit rules NSA's bulk collection of Americans' call records was illegal
>> Now suppose the kid who shot the people in Kenosha gets a pardon

Offtopic, but for me that kid did nothing wrong - it was self defence. If he isn't found innocent by court then he definitely needs to be pardoned.

mamon··on Teens' anxiety levels dropped during pandemic, study finds
but homework gets checked by teachers, right? I mean, from what I remember from my own high school teacher would spend first few minutes of each class asking about homework, somethimes simply providing the correct answers, sometimes randomly asking a kid in class to provide an answer. It wasn't graded, so much less stress than taking a test, but still you could verify that your solution to the assignment was correct.
mamon··on The butcher's shop that lasted 300 years (give or take)
By what law? I'm pretty sure that at the same time Germany allowed them in they also adjusted their policies to make access to jobs easy for them (https://www.oecd.org/els/mig/Finding-their-Way-Germany.pdf) German economy in general suffers from the lack of workers, which is the limiting factor for many businesses growth. If they could make a productive use of those "refugees" they surely would by now. They are not gatekeeping the job market.
mamon··on Anxiety, depression, and PTSD may be adaptive responses to adversity: study
Of course PTSD is beneficial: it gets you discharged from military, for example, so the chances of you being in the situation where someone is shooting bazooka at you drop to zero.

In general PTSD helps you avoid traumatic experience in future.

mamon··on Shared salary spreadsheet reveals Microsoft employee earnings for a second year
I believe that there WERE 100 other airborne divisions in the past, they just do not exist anymore. World War II required a lot of divisions airborne or otherwise.
mamon··on Teens' anxiety levels dropped during pandemic, study finds
>> Most teachers are not good, so self-study is essential.

It's not even about teachers being good or bad. It's about something called "illusion of competence". Basically, everything seems easy while teacher is explaining it on whiteboard, but when facing similar task on your own, outside of the classroom you are completely lost, don't know where to start. Homework helps dispell that illusion.

mamon··on Pakistan blocks Tinder, Grindr and other apps
You know, people make jokes about, for example, Indian arranged marriages, but they have one significant upside: you get to know not only your future partner, but also their family, their past, the environment that they were raised in, etc. It's basically a full background check.

With casual dating via Tinder you might as well end up dating a serial killer, and even if you don't you still have much harder time really getting to know the person if you don't have any common friends, come from different cities, etc.

mamon··on Airline pilots landing at LAX report “a guy in jetpack” flying alongside them
>> falling hundreds of feet into water is more survivable than hundreds of feet into earth or concrete.

No, not really - hitting watter as damaging as hitting concrete once you get above 100 feet high. But at least you're not going to kill an unlucky pederastian by falling on them.

mamon··on Interchange in Houston is the same size as an entire city center in Italy
Warsaw is TERRIBLE place to live. The city is ugly and dirty and always stuck in traffic (and yes, busses get stuck in traffic too), most office jobs are located in two main hubs, and it typically takes at least 30 minutes to get there by car (but then there's usually no place to park) or 45 by public transport. I'm very glad that the pandemic forced my company to go all-remote, because I was wasting a lot of time on my commute.

Yes, small grocery stores are at every corner but for other things, like clothes or electronics you still have to go to a big shopping mall, at least 2-3 miles away. Oh, and did I mention all those are closed almost every Sunday?

As for apartment prices even for really well paid software developer the choice is basically between buying a small (500 sqft) flat close to work, or bigger (800-1000 sqft) far away from it, with the added inconvenience of jet planes waking you up in the middle of the night, because Warsaw is stupid enough to have big international airport located near the city center.

EDIT: Another thing: after more intensive rains some of the subway stations get flooded, so they are out of service for several hours. Not that there are many subway stations in Warsaw - just 34, forming one and half line

mamon··on The basic dramatic situations, according to 1919 manual for screenwriters
Given that:

1. Some of those 37 situations are more interesting than others

2. You need more than one of them for a good screenplay

3. Some situations do not mix well in one story

You will come to conlusion that there is limited number of possible stories.

Now, Hollywood has been producing dozens of movies every year for over a century it becomes clear that it is slowly running out of stories to tell. That's why you see so many remakes/sequels: Star Wars, Rambo, Die Hard, etc. Or remakes with a twist: let's make main characters black/women/gay/trans and pretend that we created a brand new, original story.

Hollywood is eating its own tail.

mamon··on U.S. tech stocks are now worth more than the entire European stock market
You can, but if everyone tried that at once then the price would fall, and most people wouldn't get as much money as they think they now have. So in that sense company valuations are not real. We might pretend that Tesla is worth 2100 USD per share until someone shouts: "Emperor is naked"
mamon··on Waymo Tests Autonomous Trucks in Texas
That's not how labor laws work in many countries - if a driver is sleeping in the car, and not in his own bed at home that still counts as working time.
mamon··on Lucid Air EV’s Battery Will Be 113.0 KWh
Because it doesn't make sense.

Combustion engines have some limitations that require gearbox to mitigate them:

https://x-engineer.org/automotive-engineering/drivetrain/tra...

Electric engines have none of those limitations, so no need for gearbox.

mamon··on Why do Covid fatalities remain low when infection numbers are rising?
Fascist and Nazis were also socialists. Hitler's political party had "Socialist" in it's name. It's funny that nowadays we call Nazis "far right" where in fact they should be called "far left".
mamon··on Ten countries kept out Covid, but did they win?
You're looking at this from privileged perspective of Bay Area software engineer, who can work from home, or even take few months break from work altoghether.

"Economy taking a hit" is just an euphemism for real tragedies, like people losing their jobs, their homes, not being able to pay for healthcare, etc. I read that there was a spike in suicides since the beginning of the lockdowns for those very reasons.

So now you can weight number of lives saved from COVID vs number of lives destroyed by lockdows, and only then you'll know if they were worth it.

mamon··on Uber and Lyft competitors ready if service is suspended in California
Ok, so it seems that taxi service in US sucks.

In Europe traditional taxi companies caught up pretty quickly, you can now order taxi ride via app that has UX similar or even nicer than Uber, and you get licensed taxi driver, car with taxi signs, so that you no longer need to stare weirdly at all black Priuses approaching you, and the driver can speak your language, and knows his way around the city. To recap: traditional taxi service is of much better quality than Uber, and only slightly more expensive, therefore much preferred.

The only time I used Uber was in the US, once I came back I don't miss it at all. I don't know what exactly is wrong with US taxi market, but Uber and Lyft aren't the only solution.

mamon··on Nasal vaccine against Covid-19 prevents infection in mice
Anyone here still cares about COVID-19? That's probably the most overhyped disease of all the time.
mamon··on New Particle Collision Math May Offer Quantum Clues
"If you torture the data long enough, it will confess to anything"

For me the whole branch of physics that deals with particle colliders is a big hoax. Quarks and other particles are simply too small, compared to the size of the sensors that we use to "detect" them. The output those sensors is basically just a static electricity noise, which physicists try to make sense of.

mamon··on Germany begins 3-year universal-basic-income trial
Which kind of makes sense, because wealth is supposed to be a measure of one's contribution to society. You contributed more, you can get away with more.
mamon··on Most “mandatory requirements” in corporations are imaginary
I really wish I could use my personal laptop at work, but now it is hard, because GDPR laws mandate that I would need to take additional security measures and could be held responsible for any data leak. Using company issued laptop avoids the problem - all responsibility rests on my employer's shoulders.
← PreviousPage 7 of 34Next →