HN user

pstoll

255 karma

Unix nerd. Glad Linux unified OSes after experiences on sys v, Solaris, SGI Irix, etc. Hopeful Risc V does the same for compute.

OCR @ Xerox, longtime Akamai, then startups, now engineering lead at $BigTech.

Posts1
Comments100
View on HN

TBH I’m doubtful of most people building their own crypto libs and distributed consensus implementations. But maybe cloudflare can pull it off. Good to see them pushing the state of distributed consensus.

Take aways:

* it’s not in prod yet. I suspect those many round trips are going to get expensive on median aka typical redistributed deployments. Curious to see how it goes once in the wild.

* they say it isn’t likely suitable for eg databases.

* they talk about formal verification, which is good and feels appropriate.

Looking forward to seeing more!

Feels like all the write ups that point out the short comings of eg Python for scientific computing.

Sure, except that once you have a community at critical mass around a reasonably good tool, that trumps most other things. Momentum builds. People write tutorials, explainers, better documentation, etc. it hits escape velocity.

Feels like Lean, with Terrance Tao as a strong proponent / cheerleader, is in that space.

Everyone who argues “but language X is better” … may not be wrong, but they are not making the argument that matters. Is it better than the thing everyone else knows and can use and has more people hours going into it to improve it?

Feels like a “worse is better” situation; or maybe “good and popular is good enough”.

I’m the opposite - I much prefer a structured query language (ahem) for this type of thing. If I’m looking at someone’s (ie my own 6 months later) script I much prefer to see the explicit structure being queried vs “why are we feeling for foo or grabbing the 5th field based on squashed spaces as the separater”.

Nice use of CEL too. Neat all around.

Neat idea à la regex golf.

But doesn’t seem to do enough shell escaping or correctly. Also seems underspecified, ie “find 5 lines starting with ‘the” doesn’t require a pipe to head -5.

I get what your saying but I think it’s not the best way to describe it - “GPL is property”? Hardly - it’s a societal common good that can be used by anyone interested in helping that common good.

Are parks “proprietary”? I can’t run my car dealership from one, so it’s …proprietary? No. So using the terminology of “proprietary” doesn’t do justice to what it actually is.

It’s the “no longer evil” marketing without actually proving that “no longer evil.com” is in fact … from from evil.

I was assuming that I could point the nest data stream & control UI to my own hosted thing on eg my local NAS or docker farm. That’s what I think would warrant the moniker “free from evil” in this kind of strong privacy preserving marketing.

PyTorch Monarch 9 months ago

“Service Adverbs - like ‘route’ and ‘fanout’”

Grammarians are going to be big angry here. Ain’t an adverb in sight.

The other thing is that Microsoft does not own the copyright for any of the code they used. Facing their work on code they don’t own the copyright to is incredibly messy from an IP point of view.

It’s why con contributor licenses agreements exist in most open source popular projects.