youeseh

33 ms·

331.
by youeseh 8y ago
The students are paying a lot of money, but the professors are getting screwed. If we see the university as a 2-sided marketplace, then you'd think that as the cost of doing business goes up, the number of merchants willing to keep doi
332.
by youeseh 8y ago
"Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior." It sounds a lot like writing your specs as tests that are then satisfied by the implementation code.
333.
by youeseh 8y ago
So, like writing code and then writing tests for it?
334.
by youeseh 8y ago
I tried it. It adds color but not the real original colors. It does guess well though.
335.
by youeseh 8y ago
Dear token Italian: I thought your new government was Italy-first. What happened? Austerity continues?
336.
by youeseh 8y ago
Sounds like the BC wants to have their cake and eat it too. By 2040, most cars and trucks will be zero emissions. So, this law doesn't so much speed up good behavior but just pushes out the stragglers.
337.
by youeseh 8y ago
Do you mean that if I declined I should still be able to see the content?
338.
by youeseh 8y ago
All I see is a lot of websites with a cookie notice that I agree to.
339.
by youeseh 8y ago
Related article for those interested: https://www.theguardian.com/news/2019/feb/15/the-us-hidden-e... "At first, “Pearl Harbor” was not the way most people referred to the bombings. “Japs bomb Manil
340.
by youeseh 8y ago
Does this mean that the only effective way to get our Vitamin D is from sun exposure?
341.
by youeseh 8y ago
And then we'll all go back to Vim and the cycle of life will once again complete itself.
342.
by youeseh 8y ago
If the aim is fully autonomous driving then they'll have to account for both the "stickers on road" use-case and the spike strip use-case.
343.
by youeseh 8y ago
This begs the question: did the employees negotiate a market-rate salary upon employment? If so, then they did not get screwed... they just didn't get a large bonus, which is the gamble of joining a startup - most of the time you don&#
344.
by youeseh 8y ago
$5 latte + $6 + 1 hour ($50 in opportunity cost?) for a round trip. It adds up if you do the latte thing every day. How many people in this country spend $3k/year in lattes but don't invest $3k/year for their retirement. Wasn
345.
Show HN: A script to move links on HN to undesirable sites to the bottom(github.com)
1 points by youeseh 8y ago|1 comments
346.
by youeseh 8y ago
Wouldn't getting to the point where you are a C-level at such a company be pretty stressful as well?
347.
by youeseh 8y ago
Their equity percentage may have gone down but the value of their equity probably went up.
348.
by youeseh 8y ago
Parent commenter said, "maglev", so I stayed on that train of thought.
349.
by youeseh 8y ago
I'd take a 100mph maglev to LA from San Francisco if it meant faster than airport boarding, on-time departure and arrival, and a seat where I can put my legs up for the same price or less than a flight.
350.
by youeseh 8y ago
I think we're working with different definitions of social liberalism. My understanding is that people are socially liberal when they are in varying degrees okay with lifestyle choices of others that differ from their own, as long as t
351.
by youeseh 8y ago
Many tech people may come across as being socially liberal but they aren't necessarily financially / economically liberal. They also aren't necessarily liberal when it comes to their personal safety.
352.
by youeseh 8y ago
I really wish the New York Times would stick to news reporting.
353.
by youeseh 8y ago
We often work very hard when someone else is depending on us but let ourselves down when we set our own goals. Many of us have goals around personal projects and errands that we keep putting off since the due dates are arbitrary. Working a
354.
by youeseh 8y ago
Yup!
355.
by youeseh 8y ago
Well, thats kind of a good thing, right? - They probably made everything safe. - They probably made everyone healthy through good diet, hygiene, medical care etc. So whats left? Isn't suicide an acceptable way to die in Japan?
356.
by youeseh 8y ago
Right on! Thank you =)
357.
by youeseh 8y ago
Hey, thanks! =)
358.
by youeseh 8y ago
Hey there, yes. I guess I meant "services" / servers. I suppose from my point of view - small fish in the ocean - I suppose Rust services running on lambda would be a-ok. I'd love to learn more about how you build and de
359.
by youeseh 8y ago
I'm not aware, to be honest. I'm only now learning Elixir for a few weeks now and plan on taking up Rust next after building a small Elixir project. What I found was: - Elixir, has awesome support for concurrency and zero-downtime
360.
by youeseh 8y ago
Rust seems like the right answer for a lot of things except writing servers. For that, Elixir with its Erlang VM seems like a better answer.

More ›