i worked at a then-web3.0 startup in the 00’s that had built something that could have been pivoted into this, but instead the CEO wanted to be like Digg instead.
the commercial community of practice is small for sure.
i use property based testing for the external api of my business domain service.
yes, the test code is an “oracle”, knowing what the service _should_ be doing. it’s a parallel implementation of the logic, highly geared towards the use-case of testing.
ah, Student Congress. I did that and loved it too. I enjoyed it more for learning how to effectively troll, since I wasn't as good as the "politics" part needed to win.
Also lost to history is 10gen's original intent of being more of a complete platform, with Mongo just being the storage layer. Business Insider ran on that platform. Some details in https://www.usv.com/blog/10gen
(A friend of mine was VP Eng there and was trying to recruit me to work on the larger platform, but as Mongo started gaining traction they dropped the other parts to focus on that)
for me, it wasn't just the ESPN cost, which was buried in the package. it was also the "regional sports fees" that Comcast lists as separate line items and have very obvious increases.
I was just reading https://blog.openai.com/adversarial-example-research/ and it struck me that an understanding of geometry might help. For the examples and scenarios cited, the geometries of the two items would be different (sometimes markedly, sometimes less, like washer-vs-safe).
i helped build a triple store on top of postgresql back in '06-'08. company is gone so i don't know where the IP ended up, but it was a good foundation. we were competitive with the other players at the time.
> It is worth noting that Go came nearest disqualifying itself entirely here. If it were not possible to lock out Go’s GC in critical regions Rust would win by default.