HNHacker News
TopNewBestAskShowJobs

gregorygoc

293 karma · joined May 19, 2018

submissionscomments
gregorygoc··on Proofs Should Repair Themselves
Long and tedious is the definition of an unsuitable human mental process.
gregorygoc··on Margaret Mitchell fired from Google
Your observations are correct. Its the latter.
gregorygoc··on Sourcetrail: Free and open-source interactive source explorer
I guess I meant: what value does it provide which is not provided by IDEA IDE?
gregorygoc··on Sourcetrail: Free and open-source interactive source explorer
Any ideas on incorporating this into IDEA workflow? I feel like, IntelliJ has all the features already minus traversing the graph structure of a code.
gregorygoc··on Compilers are hard
You can say that about everything.

"But X is not hard. It's just number theory" - while X is Fermat's Last Theorem

gregorygoc··on Computer System Engineering
Probably some copyright issues.
gregorygoc··on Haskell is our first choice for building production software systems
I think most programmers nowadays face no interesting problems to solve. They crave for a mental challenge, but instead of looking for a job that requires solving hard engineering problems, they believe they can satisfy their mental needs with coding in “somewhat” hard language.
gregorygoc··on Trump bans Alipay and seven other Chinese apps
> America will be rolling out the red carpet for the CCP.

Why so?

gregorygoc··on Jim Keller moves to AI chip startup
Has anybody on HN worked with him and could say a little bit more about his individual contributions and management style?
gregorygoc··on EU countries team up for semiconductor push
You must be polish.
gregorygoc··on What Neapolitans understand about death (better than most)
Doesn’t a mess come from mafia controlling dumpster companies or something like that? By the way, I love this place called pizzeria da Michele. Best pizza in the world.
gregorygoc··on Oracle copied Amazon’s API – was that copyright infringement?
Can I patent open/read/write/close methods? I might have an idea for the greatest troll in modern era.
gregorygoc··on The Power of One-State Turing Machines (2018)
So the cool stuff about Turing machines is that if you get them, then you get a theoretical model of computation. And based on this knowledge you can really understand some problems, say is P = NP? Or maybe you encounter some problem at work and you cannot find an efficient algorithm to it, so you might try to prove that the thing you are working on is NP-hard (making it non trivially solvable in human words).
gregorygoc··on The Google Squeeze
> it randomly returns tons of pornography for innocuous searches like "filled torus"

so I tried to search for that one, disabled safe searching and I'm coming back disappointed (no porn)

gregorygoc··on Intro to Database Systems (Fall 2019) [video]
Both languages are Turing complete so their language of choice should be transparent to anyone taking the course.
gregorygoc··on Software projects written in Haskell
Agreed 100%. There’s so much domain knowledge in a lot of systems that run in production for a couple of years that the disappearance of the entire team means basically a full rewrite.
gregorygoc··on Streaming Cassandra at WePay
I don’t think any managed AWS service scales well for any bigger enterprise which have to handle a decent amount of traffic. Once you reach certain threshold you soon hit some throttling and limits BS and AWS solution is just to throw more money at them.
gregorygoc··on Ask HN: Has anyone ever been hired from “Who wants to be hired?” threads?
Isn’t being a vet in Germany more lucrative than being a software engineer there?
gregorygoc··on Brave Improves Its Ad-Blocker Performance with New Engine in Rust
So I’m confused about the results. Is the engine faster because of rust or because of improvements to the algorithm?
gregorygoc··on Learning to Build Distributed Systems
I was being bootstrapped into the new project (pretty big distributed system) for 6 months since I went on call. But then my debugging skills skyrocketed, and I know it’s a little inconvenient to wake up at 5 am because of pager duty sad trombone sound, but I know it’s an investment on my part to become a better distributed systems engineer.
gregorygoc··on Jepsen: TiDB 2.1.7
I second this.
gregorygoc··on Zanzibar: Consistent, Global Authorization System
The harsh truth of working at Google is that in the end you are moving protobufs from one place to another. They have the most talented people in the world but those people still have to do some boring engineering work.
gregorygoc··on Ask HN: How to track medical research progress?
Are they focused strictly on nutrition or do they also track more exotic research - for example CRISPR? It’s hard to tell from their website.
gregorygoc··on How do startups get their content marketing to work?
Isn’t distribution of content is like just posting what you wrote on reddit or on HN nowadays?
gregorygoc··on A Magician Explains Why We See What’s Not There
I see some interesting thoughts here. I agree that pretending to have magic powers is not a good way to perform. That being said, I think the concept of doing tricks so powerful that audience has no explanation other than believing in magic is completely orthogonal to an idea that you are supposed to brag about having paranormal abilities.

I think the art of magic is ought to be performed live. There some guys who got it right on the TV, for instance Copperfield. The problem with YouTube on the other hand, is that you can replay the video anytime, so this kills misdirection entirely.

The way I get around this issue in my promotional materials is that I basically only show people’s reactions to my effects, so that people see what they buy. Entertainment, not tricks to figure out.

On a side note, I love how Derren Brown performs. He says up front, he has no psychic powers but provides some basic pseudoscience explanation to his audience which is a trick on its own!

gregorygoc··on A Magician Explains Why We See What’s Not There
I’ve been doing magic half professionally on and off for almost a decade now. Basically, I don’t do card tricks anymore and the reason is simple - if you were to do real magic, would you do it with playing cards?

On a side note, revealed card tricks on YouTube were my pain in the butt for a long time, but I don’t care anymore.

gregorygoc··on Give Me Back My Monolith
You must be doing something wrong. In a company I work for, we clearly have separated microservices by bounded context, thus making them completely decoupled.
gregorygoc··on Ask HN: I've been a programmer for 6 years, and I can't solve basic CS problems
That’s a good point. Now, how do you find interesting job which involves computer science skills?
gregorygoc··on 3factor apps: a pattern for fast iteration, resilience and high scalability
I’m waiting for 1factor apps.
gregorygoc··on Pro-privacy search engine DuckDuckGo hits 30M daily searches, up 50% in a year
The whole point of DDG is that they don’t personalize results.
← PreviousPage 4 of 5Next →