HNHacker News
TopNewBestAskShowJobs

MikkoFinell

257 karma · joined March 4, 2016

submissionscomments
MikkoFinell··on Reflecting on Haskell in 2017
Is it satire? Touting Rust while complaining that Haskell is hard to read? Please tell me you're joking.
MikkoFinell··on Why Did ProtonMail Vanish from Google Search Results? (2016)
We are not talking about "any kind of behavior". We are talking about whether a private company whose business model is to provide internet search results should have the right to decide whether to exclude certain content from those results. You can make an argument that entities like Google and Facebook have too much power, but I don't see the argument that compels such companies to include X in their service based on whether its "fair" or not.
MikkoFinell··on NTSB: Tesla’s Autopilot UX a “major role” in fatal Model S crash
We should limit humanpilot to those conditions as well. Or will you special plead that lives lost because of humanpilot mistakes is morally less bad somehow?
MikkoFinell··on Baffling ABC maths proof now has impenetrable 300-page ‘summary’
That's a good point. Lets throw "instantaneous" out, having the ability to store and perfectly recall data is a critical advantage for any thinking entity.
MikkoFinell··on Baffling ABC maths proof now has impenetrable 300-page ‘summary’
>"If nobody understands a mathematical proof, does it count?"

Just wait until general AI really kicks off, then all of new math will be like that. It's not that humans are bad at logical thinking, our weakness is memory. That won't be the case for an artificial agent with instantaneous perfect recall of everything it has ever seen.

MikkoFinell··on Text-only CNN
I guess that's a fair point.
MikkoFinell··on Text-only CNN
>To overcome government censorship and surveillance.

But the site isn't being censored? Also https won't stop the government from knowing that you connected to those servers. I agree that we want to avoid censorship and surveillance in general, but it really doesn't seem relevant here.

>To stop internet providers from injecting ads and tracking scripts.

Is your ISP actually doing that to you right now? Or is that just hypothetical?

MikkoFinell··on Text-only CNN
Why do you need to encrypt your connection to that site? No sensitive info sent.
MikkoFinell··on If Mark Zuckerberg runs for president, will Facebook help him win?
Means well? God I hope you're joking. Where Trump is merely a narcissistic buffoon, Zuckerberg is truly evil. We should count ourselves lucky he has no charisma, and that his lizard-like soulless personality shines through as soon as he opens his mouth.
MikkoFinell··on Facebook and Microsoft introduce ecosystem for interchangeable AI frameworks
Just imagine the world we will live in, when Facebook or Microsoft wins the race to general AI.
MikkoFinell··on China's New Wave of Internet Censorship: Name Verification for Online Commenting
On the one hand those advancements are being used to enforce users only view whats deemed appropriate, while on the other hand it's used to maximize your time-on-screen by stealing your attention in increasingly ingenious ways. I believe we are already past the event horizon on a dystopian singularity that will land us somewhere in the middle of Orwell and Huxley.
MikkoFinell··on Alphabet’s hate-fighting AI doesn’t understand hate yet
The mere notion that my idea wasn't perfect is offensive to me. Please delete your comment.
MikkoFinell··on Alphabet’s hate-fighting AI doesn’t understand hate yet
How about not censoring anything, and letting the marketplace of ideas be free, would that be fair?
MikkoFinell··on Alphabet’s hate-fighting AI doesn’t understand hate yet
Only facts that are deemed offensive to the political leaning of Google of course.

Time to jump ship.

MikkoFinell··on Voyager's 'Cosmic Map' of Earth's Location Is Hopelessly Wrong
Yeah broadcasting our location is a horrible idea until we know whats out there.
MikkoFinell··on Python Threading Beginners Tutorial [video]
Isn't multiprocessing almost syntactically equivalent to--but much more efficient than--threading in python?
MikkoFinell··on Thai activist jailed under lese majeste laws for sharing an article on Facebook
"Like and share this if you think he should be free!"
MikkoFinell··on Bezos should put his billions in public libraries
We should solve general AI first, because then those other problems would be solved within two months.
MikkoFinell··on Does OO really match the way we think (1997) [pdf]
The problem with this approach is that systems will need info from multiple components, so at some point you are forced to make the coupling that the ECS was brought in to avoid. For example, the rendering system needs to know entity position. So to which system does the "position component" belong? Not all entities that have a position needs to be rendered, and neither do all renderable entities require movement, and this same issue permeates all aspects of the architecture.
MikkoFinell··on How I, a woman in tech, benefited from sexism in Silicon Valley
Yeah same. In class for engineers (mixed IT/EE) we were 70 students, out of which 69 were male. Note that this Finland, which seems to rank among top 3 in any list about gender equality per country.
MikkoFinell··on A formalization of category theory in Coq
Thank you, that was very illuminating.
MikkoFinell··on A formalization of category theory in Coq
A question for those of you here who are into functional programming:

Is category theory worth studying if I (coming from c++ background) am looking to get into functional languages like Haskell? How common is it actually among Haskell or Lisp programmers to know and utilize concepts from category theory in their programming?

MikkoFinell··on The Road to Superintelligence (2015)
It doesn't really matter whether it continues exponentially, even if the singularity is hundreds of years away the dangers are mostly the same.
MikkoFinell··on Tardigrades can survive until the end of the Earth, astrophysicists say
Yay lets tell unknown and potentially extremely hostile aliens all about us. It's like running unarmed into a jungle at night yelling and screaming.
MikkoFinell··on Developers who use spaces make more money than those who use tabs
Maybe you should use the right number of spaces in your codebase.
MikkoFinell··on Developers who use spaces make more money than those who use tabs
You think you are doing others a favor by using tabs, but in fact you are creating a hassle instead. When I open your tabbed code the first thing I have to do is run it through some script that replaces all tabs with spaces, so that the files will be formatted the same way as the rest of the code base.
MikkoFinell··on My Struggles with Rust
I cant even opt out of using exceptions? Good thing I didn't waste my time with this lang.
MikkoFinell··on Ask HN: Mark Zuckerberg presidency?
Thank god he's not charismatic enough to pull something like that off. Whereas Trump is merely a boasting incompetent idiot, Zuckerberg is actually truly evil.
MikkoFinell··on 4-Day Fast
Literally anything except water does that.
MikkoFinell··on 4-Day Fast
Consuming anything else than water will actually break the fast. Yes that includes black coffee.

People who "fast" while consuming coffee, broth, exogenous ketones, and other caloric substances still experience the benefits from caloric restriction. Still not actually fasting though.

← PreviousPage 6 of 7Next →