kats

20 ms·

151.
by kats 6y ago
> I am, however, arguing that companies, once reached a certain size, are less and less incentivized to do so. Well, I am not sure I agree with that. Large companies can afford to take the risks. For medium-sized companies the same effor
152.
by kats 6y ago
Are we living in the same world? > To debunk it, look around you at all the major players in tech who are hoarding cash like there is no tomorrow while doing incremental improvements to products rather than building something interesting
153.
by kats 6y ago
Two weeks the same CEO campaigned against Apple's App Store policies on Twitter, and totally made it out to be a moral issue when it benefitted him. https://mobile.twitter.com/brian_armstrong/status/1304490208
154.
by kats 6y ago
E.g. I might be blocked by some bug I am working on, and have no idea that Jim encountered this 2 months ago and has it all worked out. Normally I wouldn't have thought to ask Jim because he's currently working on something else.
155.
by kats 6y ago
Would WebRTC become practically illegal? Because any peer-to-peer communication might be argued to result "in an inability to identify or access most (if not all) unlawful content." If a website has a feature like voice channels o
156.
by kats 6y ago
I don't think startups would really get a boost, because when Youtube, Tumblr or Reddit have put new restrictions on what people can post I didn't see any users leaving for somewhere else. So I would guess that YouTube would have
157.
by kats 6y ago
It requires a license to use GNAT for commercial projects, it's not free like many C/C++ tools.
158.
by kats 6y ago
Check out the Interactive Fiction competition, it's text-based video games. https://ifcomp.org/comp/2019 Two libraries for writing these games: https://en.wikipedia.org/wiki/Inform https:&#x
159.
by kats 6y ago
Omg! Thank you!
160.
by kats 6y ago
That's outrageous. If someone is a public figure, they should be allowed to speak.
161.
by kats 6y ago
If they hide the subdomain, then if users see google.com at the start of the URL it will actually be google.com. Tricky URLs like "myaccount.google.com-securitysettingpage.tk" would get displayed as "com-securitysettingpage.t
162.
by kats 6y ago
They're just trying to prevent phishing. Remember when the DNC was hacked? Employees at the DNC were linked to sites that looked exactly like the Google sign-in page, except that the URL was "myaccount.google.com-securitysettingpa
163.
by kats 6y ago
Self-driving cars...
164.
by kats 6y ago
I guess Google has received 30 cents from when I bought something on the Play store. It still seems to be a pretty good deal when you compare the bill for GMail, YouTube, Google Search, Drive, Docs/Sheets and Maps to the cost of the ph
165.
by kats 6y ago
Yeah, let's break up Google! I've been depending on their software for almost 15 years now, I use something they made practically every hour that I'm awake, and never paid a cent for it! I'm really getting a raw deal her
166.
by kats 6y ago
There was actual study conducted by the Fed and an MIT prof. They surveyed how much they would have to pay users to stop using these services: For the median US user: $48/month for Facebook, $1,173 for YouTube, and $17,530 for internet
167.
by kats 6y ago
This shows why it wouldn't work. What someone may expect to pay is something like $50/month. In the US, the Fed did a study to figure out how much they would have to pay users to stop using products like Facebook, YouTube, or to s
168.
by kats 6y ago
But there's a lot of cases where there's data about someone that is not owned by them. e.g. If I go into a store and am recorded on the CCTV, the store still owns that video, even if it is about me. This could be pretty similar to
169.
by kats 6y ago
"An analysis accomplished after the Challenger accident showed that the IBM-developed PASS software had a latent defect rate of just 0.11 errors per 1,000 lines of code—for all intents and purposes, it was considered error-free. But th
170.
by kats 6y ago
GitHub reliability is not high enough to support the way people are using it. The administration of the site is not predictable enough, the site has frequent downtime, and there are security issues.
171.
by kats 6y ago
Nice!
172.
by kats 6y ago
I think that Magic Leap went on for years with just promises and marketing, and they never produced a demo or product. I guess they actually did release hardware a while ago, I didn't know. But for a long time it was just news about &q
173.
by kats 7y ago
I wonder if you could take existing touchscreens and just have them vibrate differently depending on where the user is touching. Or have them vibrate differently as the user's hand moves across different buttons.
174.
by kats 7y ago
That's smart. They are going to get a ton of great applications.
175.
by kats 7y ago
Where's the FTC? Imagine if Facebook did this. There would be a fine of hundreds of millions of dollars.
176.
by kats 7y ago
Only when they are thrown. (for reference: https://www.youtube.com/watch?v=COEv2kq_Ht8 )
177.
by kats 7y ago
I feel like Zuckerberg doesn't get enough credit. I never heard anyone describe Facebook that way, but immediately when I read "something between a telco and a newspaper" I felt like "oh yeah, that makes sense." The
178.
by kats 7y ago
Seriously, that is very cool! I wonder how PlantUML diagrams would look in Svgbob or Markdeep, if they were imported from text.
179.
by kats 7y ago
Might want to show some examples in the "Why Not To Use Formal Methods" section too. Somewhat old numbers from seL4: [1] - 2,500 lines of C code - 100,000 lines of proofs - ~7.6 person-years of full time work (with a lot of involv
180.
by kats 7y ago
Mark Zuckerberg is much more thoughtful than he's given credit for.

More ›