HNHacker News
TopNewBestAskShowJobs

vojta_letal

70 karma · joined May 10, 2018

submissionscomments
vojta_letal··on Talking out loud to yourself is a technology for thinking
I do it way too often when I'm alone. Seems like I'm not as crazy as I thought :)
vojta_letal··on Introduction to Reinforcement Learning (2015)
Does world really work like that?
vojta_letal··on Learnable Programming (2012)
By "code" mean a syntax/semantics and by "program" architecture/algorithms?
vojta_letal··on Binary Decision Diagrams (2010)
> Let U (the universe) be the set of all mainland USA states.

I hope that it's an intentional joke.

vojta_letal··on Atlassian releases native app for Jira
An app which only requires 50-100MB released by a major software vendor in 2020. I am shocked. It's a bit short on features though. Hopefully, that's not going to break its neck.
vojta_letal··on Bloomberg bankrolls a social-media army
Kudos for citing Bloomberg as a source.
vojta_letal··on Bloomberg bankrolls a social-media army
> is that an American spent his money how he liked

Caps on campaign spending are there for reasons. A campaign should contribute to meaningful public discourse. Nothing more.

> the American media is free enough to have reported on it

Private media can be biased. Either explicitly (lying to peoples faces), or implicitly (self-censorship on stuff related to the owner). Surprisingly, in several countries - such as Britain or Czech Republic - state-owned media are the one sticking to higher values.

> American citizens are now well-informed enough to know that some of the folks they talk to online are paid, and the American election will be based on the interactions of a free people

Well, there are multiple studies in several countries which show the opposite. Quick google search yields one such https://thehill.com/homenews/media/392870-pew-study-finds-am...

vojta_letal··on I found a WhatsApp security flaw that allowed hackers to read the file system
I thought so as well - up until yesterday when I tried desktop version of Microsoft Outlook. Such an awful experience. Just trying to pick an available meeting room was surprisingly more difficult than on the modern web. And I can hardly see how even Microsoft could bring the web experience to desktop in the future without somehow leveraging the existing online version.
vojta_letal··on Not everyone has an internal monologue
Sometimes I have a "how awful would it be to do XY" moments. Usually something brutal. But it always makes me pay even more attention to not doing that very thing even accidentally because I definitely do not want to break stuff or hurt someone. Yet it makes me a bit nervous. What if I actually decided to do that? Fortunately it never happens when I'm under influence. Do I need help?
vojta_letal··on CacheOut: Leaking Data on Intel CPUs via Cache Evictions
It's harder to believe that there is _no way to leak information_ than the opposite. There is always a side channel, right? Timing is the most trivial one.
vojta_letal··on Software Disenchantment (2018)
Most of the issues outlined are problems of the web. The HTML+CSS+JS combo is just painfully slow and wasteful by design - it's just way too many levels of flexible abstractions. Which is suboptimal for app development. Moreover it's expensive to maintain two apps - web and native - which share have the exact same UI/UX. Hence the rise of Electron, React Native , ...

The only way out of this is to rethink the web. Which is a hard one to tackle.

vojta_letal··on Software Disenchantment (2018)
That's more than a century ago. I was thinking about stuff built like in 1850-1950.
vojta_letal··on Software Disenchantment (2018)
> Modern buildings use just enough material to fulfill their function and stay safe under the given conditions. ... Only in software, it’s fine if a program runs at 1% or even 0.01% of the possible performance.

> I can comfortably play games, watch 4K videos, but not scroll web pages? How is that ok?

IMO the comparison should be buildings <-> fine-tuned libraries (i.e. video decoding algorithms), modern applications <-> cities.

Go to any city center in Europe. Urban planning a century ago was much more elegant and elaborate taking into consideration the city as a whole. Nowadays developers and investors often ignore important aspects, such as surrounding buildings, infrastructure, making cities inefficient for the people who actually live there.

Any system which has plenty of resources has to become inefficient. It's just that the Moore's law allows for pretty damn inefficiency.

vojta_letal··on Show HN: A pure functional programming language targeting decentralized systems
I'd like to see a thorough performance evaluation. JS/NPM based untyped language together with communication via HTTP/JSON sounds painfully inefficient.
vojta_letal··on Show HN: A pure functional programming language targeting decentralized systems
Could the goals be accomplished in existing languages, such as Rlang, Haskell, Scala + Akka? Is the added value sufficient for it to find its place?
vojta_letal··on Programmers Should Plan for Lower Pay?
There seems to be a premise that a programming is actually easy and we are slowly realizing it. Who else finds it flawed?

I've seen plenty of open source code, proprietary startup code, corporate code and it is usually shit - full of premature assumptions and legacy mess. It's because writing good lasting code is super difficult even for great engineers. Moreover, running platforms usually need to be constant maintainance which drives up the demand even more.

vojta_letal··on Linux: A Portable Operating System (1997) [pdf]
There were less students at his time. If there was a way to plot "average added value" of a master's theses trough out the last century, I'd expect it to be non zero historically and then to exponentially converge to zero.
vojta_letal··on Linux: A Portable Operating System (1997) [pdf]
Depends on a country and educational system, right? Yet usually there is someone or some committee which decides whether a piece of work is sufficient for a student to get a master's degree. In other words, they set a bar.

The bar can vastly differ among universities and generations. That's why I asked in the first place.

vojta_letal··on Linux: A Portable Operating System (1997) [pdf]
Cool. I'd expect him to get the Ph.d. in like 20 years after graduation, not two. That's significant.
vojta_letal··on Linux: A Portable Operating System (1997) [pdf]
Was he so talented or has the bar for CS master thesis lowered significantly since then?
vojta_letal··on Twitter's future could look a lot like its past
Because there simply would be a 3th party app which would ignore the ads? If there was not I'd write one.

Simple as that. FB and Google closing their XMPP gateways is an example of a similar issue.

vojta_letal··on CUDA Toolkit Release Notes
That's such a narrow segment of users. Would it be worth supporting?
vojta_letal··on FastSpark: A New Fast Native Implementation of Spark from Scratch
Anonymous windows have found a second use-case.
vojta_letal··on What’s New in Python 3.8
Like, if graalpython gets ever released.
vojta_letal··on Exposure to air pollution is linked to an increase in violent crime
I do not get why it got downvoted. Maybe I should have elaborate more. I skimmed the paper and it does not seem to be the case. They only take into account weather.
vojta_letal··on Do California’s Blackouts Make Sense?
In the Czech Republic and the neighboring countries the grid operators are state owned, the power plants are mostly private. Works like a charm. We have like minutes of blackouts per year on average. Compare to hours in the US.
vojta_letal··on Exposure to air pollution is linked to an increase in violent crime
Is not there some common denominator, something simple like - there is both more crime and pollution in cities?
vojta_letal··on Learning Haskell is no harder than learning any other programming language
Scala has an awesome IDE support, familiar rich JVM ecosystem, familiar syntax, ability to ignore the fact that logging is a side effect...

I had a hard time understanding the Haskell ecosystem, plus the syntax is just way too different and restrictive.

For example the last tutorial I tried to follow recommend using nix package manager to install Haskell. I failled missereably, it just did not work out of the box.

vojta_letal··on Learning Haskell is no harder than learning any other programming language
I am a skilled Scala developer with knowledge of FP sufficient enough to make two contributions to the Typelevel cats/kittens ecosystem. Yet I was not even able to start a hobby project in Haskell. I always start and fall back to Python shortly after. Is it just me?
vojta_letal··on Pricing niche products
That's not accurate.

There are ergonomic variants of keyboards on the market. There is no viable alternative to the way how we measure time.

Page 1 of 2Next →