maest

55 ms·

691.
by maest 6y ago
He (Morris, actually) defines observational equivalence as: e1 == e2 iff for all contexts C, C[e1] halts iff C[e2] halts. Which is a great trick to avoid having to compare contexts. Around 29:00 they discuss how to sho
692.
by maest 6y ago
> Without trying to appeal to authority, I work in the industry Fun fact, this is called "apophasis". https://en.wikipedia.org/wiki/Apophasis I'm not attacking the OP (or is this another apophasis?),
693.
by maest 6y ago
Length 2 seems quite short - I'd expect this to happen more often, surely.
694.
by maest 6y ago
Could someone explain what a "stale chain" is and what the implication of this is?
695.
by maest 6y ago
The perenial question is "why not just use a database in that case, since you're the entity controlling the currency anyway?"
696.
by maest 6y ago
Took me a second, but the arent meant "stadia" as in the plural of "stadium", not google's gaming service.
697.
by maest 6y ago
Topological sorting - that's a very nice idea. In the past I've implemented dirty marking and, while fun to figure out the appropriate logic, topological sorting seems much neater.
698.
by maest 6y ago
There's something upsetting and sad about this approach to the world.
699.
by maest 6y ago
It's not clear what the 300B figure actually is. The OP doesn't mention it and the GP's link isn't explicit. I can't find a clear source, but it looks to me that 300B is total loans issued, not what Ant currently ha
700.
by maest 6y ago
> Who wants to work at a place like that? Most people, it seems, seeing as, outside of a small part of the world, equity comp is uncommon.
701.
by maest 6y ago
By definition, most companies can't afford the top talent. Your advice boils down to "pay people more", which, I mean, might seem like it works in the individual case, but it's clear why most won't be able to follow
702.
by maest 6y ago
Can you expand on that? Are you saying everyone should receive stock options? Or are you saying engineers are somehow special and should receive different treatment from other emloyees?
703.
by maest 6y ago
What if the engineers, like most other employees, don't receive stock comp?
704.
by maest 6y ago
> assets of 3B lends out 300B My understanding is that the loans don't go on Ant's books, they just sell them on. In that case, Ant's assets are irrelevant, since they're not the ones taking any risk and, thus, don&#x
705.
by maest 6y ago
> The C code in comparison don't generally get extended or changed at all since That sounds like a disadvantage tbh
706.
by maest 6y ago
What's a reasonable grep alias I should add to my .bashrc?
707.
by maest 6y ago
As far as I can tell, they haven't established _causation_ in either direction, just correlation. Which is important to keep in mind when discussing possible mechanisms.
708.
Ask HN: Alternatives to q/kdb?
6 points by maest 6y ago|2 comments
709.
by maest 6y ago
I'm not sure what you're basing this off of, but it's largely not true.
710.
by maest 6y ago
Related: Any good recommendations for resources regarding architecting service-based systems?
711.
by maest 6y ago
> I currently fund the internet to the tune of $10/month using Brave. Someday that will be $100/month. Honest question - how much does that money actually reach the creators? Brave is sitting in the middle and I assume a. is ch
712.
by maest 6y ago
Indeed, you are correct (at least about being ran by the incumbents): > AlternativeData.org is supported and maintained by YipitData and sources its content from hundreds of contributing investors, data providers, and industry profession
713.
by maest 6y ago
Valuations are forward looking - reported earnings are backward looking.
714.
by maest 6y ago
I agree with what you're suggesting - the article presents a theory that, while interesting, is only supported by circumstantial evidence.
715.
by maest 6y ago
Different field, but GeForce Now received a lot of cease-and-desist letters from a bunch of game publishers for allowing people to run games on their platform. For context, GFN lets you essentially rent a virtual machine in the cloud, where
716.
by maest 6y ago
I'd expect them to be able to finance paying the taxes with an equity collateralised loan. If not the entire tax bill, at least a big chunk of it.
717.
by maest 6y ago
The framing in this page is broken on Firefox Android. The last couple of lines can't be scrolled into view.
718.
by maest 6y ago
I agree overall with your economic analysis, just one thing to point out: You might be able to get _some_ economies of scale if you homebrew your own adventure and reuse it with multiple groups. In terms of other ways to scale your per sess
719.
by maest 6y ago
Right off the bat: > Money is simply trust. It is not backed by anything. This is only true of fiat currencies. Not all currencies are fiat. > A critical piece of information is missing from our education system. A clear definition of
720.
by maest 6y ago
It's clear that people in the industry will be able to figure out who the letter is addressed to - and I would be surprised if the CircleUp CEO didn't realise this. So the censorship is mostly for show. The fact that the VC isn&#x

More ›