engineeringwoke (u/engineeringwoke)

engineeringwoke commented on Discord will require a face scan or ID for full access next month theverge.com/tech/875309/... · Posted by u/x01

Hikikomori · 4 days ago

>Why they didn't do that the first time?

The company they hired to do the support tickets archived them, including attachments, rather than deleting them.

engineeringwoke · 4 days ago

Ah sorry our contractor did all that highly illegal stuff. Too bad we can't pierce the corporate veil anymore... shucks.

engineeringwoke commented on Cloudflare outage should not have happened ebellani.github.io/blog/2... · Posted by u/b-man

DrSusanCalvin · 3 months ago

Thanks, interesting. However, that just seems like a protocol like any other, with no real reason why you "can't" formally verify it. Is there something special about a consensus algorithm / protocol that makes it any more difficult to verify than any other algorithm which doesn't yet have a formally verified implementation?

Edit: https://link.springer.com/chapter/10.1007/978-3-319-48989-6_...

engineeringwoke · 3 months ago

That would be like saying that you can verify the software that CERN uses to measure the Higgs Boson because we verified general relativity.

engineeringwoke commented on Cloudflare outage should not have happened ebellani.github.io/blog/2... · Posted by u/b-man

DrSusanCalvin · 3 months ago

Care to elaborate? Perhaps the tools to do this in practice aren't there (which just shows how young the field of software "engineering" really is), but what consensus are you talking about and how is it an obstacle to verifying code? Most of the web follows standards and protocols, which actually sort of a prerequisite for communications across different systems...

engineeringwoke · 3 months ago

Basically the modern web uses orchestration, for pretty much everything. Usually Kubernetes is doing that. Theoretically protocols like RAFT are formally verifiable, but their implementations in orchestration tools like etcd have not been, and I would go so far as to say that that is an impossible task. Therefore, the entire exercise is kind of silly.

engineeringwoke commented on Cloudflare outage should not have happened ebellani.github.io/blog/2... · Posted by u/b-man

DrSusanCalvin · 3 months ago

Not to single you out in particular, but I see this sentiment among programmers a lot and to me it's akin to a structural engineer saying "I laughed out loud when he said they should analyze the forces in the bridge".

engineeringwoke · 3 months ago

You can't formally verify anything that uses consensus, which is the backbone of the entire web. It's a complete non-starter.

engineeringwoke commented on Cloudflare outage should not have happened ebellani.github.io/blog/2... · Posted by u/b-man

locknitpicker · 3 months ago

> I disagree. I learnt good stuff from this article and it’s enough.

That's perfectly fine. It's also besides the point though. You can learn without reading random people online cynically shit talking others as a self promotion strategy. This is junior dev energy manifesting junior level understanding of the whole problem domain.

There's not a lot to learn from claims that boil down to "don't have bugs".

engineeringwoke · 3 months ago

I laughed out loud when he said Cloudflare should have formally verified its systems.

engineeringwoke commented on RubyMine is now free for non-commercial use blog.jetbrains.com/ruby/2... · Posted by u/bartekpacia

cosmic_cheese · 5 months ago

Yeah, Ruby wasn’t unpleasant to write in the wonderfully simple TextMate back in the day… a full fat IDE feels like extreme overkill.

I might even say that’s a point of attraction for the language. Overwrought IDEs and heavy editors are more optional relative to some languages.

engineeringwoke · 5 months ago

I have worked at several ruby shops and everyone has used heavy IDEs like RubyMine and VSCode, jump to's and language server are far too important.

engineeringwoke commented on Is 4chan the perfect Pirate Bay poster child to justify wider UK site-blocking? torrentfreak.com/uk-govt-... · Posted by u/gloxkiqcza

shazbotter · 6 months ago

> This is an undeniable truth.

Well, I disagree. What evidence do you have to demonstrate that a) this is true and b) it's so unassailable that one could not deny it?

Because it sure reads like, "I have a worldview. I will assert that it is true and talk down to anyone who does not accept my worldview as truth." It's a way to paint your discussion partner as an intellectual lesser, while adroitly dodging critique. You'll have to do better than just asserting something is true because you said so.

engineeringwoke · 6 months ago

I mean arguing with tankies is just No True Scotsman ad infinitum, so I'm good to stop this here. Best

engineeringwoke commented on Is 4chan the perfect Pirate Bay poster child to justify wider UK site-blocking? torrentfreak.com/uk-govt-... · Posted by u/gloxkiqcza

croon · 6 months ago

Are you considering how some part of history is told, or whether it is told at all? Because they're currently not reframing history, but erasing it. How do you reconcile this with what you consider being an earlier "left spin"?

engineeringwoke · 6 months ago

What specific way is history being "erased"?

engineeringwoke commented on Is 4chan the perfect Pirate Bay poster child to justify wider UK site-blocking? torrentfreak.com/uk-govt-... · Posted by u/gloxkiqcza

tensor · 6 months ago

https://en.wikipedia.org/wiki/Posse_Comitatus_Act

engineeringwoke · 6 months ago

Ever heard of the Little Rock Nine?

engineeringwoke commented on Is 4chan the perfect Pirate Bay poster child to justify wider UK site-blocking? torrentfreak.com/uk-govt-... · Posted by u/gloxkiqcza

shazbotter · 6 months ago

I'm old (50s), I don't want a strong any of those. I especially, however, don't want a strong executive because I don't think decision making should be strongly centralized.

I'm a syndicalist anarchist, who believes communities should be primarily bottoms up driven, democratic, and cooperative. I argue we don't need any of those branches to be strong.

engineeringwoke · 6 months ago

It's really fundamentally unimportant what you specifically believe. What is important is what people your age in the aggregate believe. This is an undeniable truth. It's therefore silly to engage in a conversation about you and your beliefs specifically. I recommend trying to understand Plato's ideas first.

u/engineeringwoke

KarmaCake day352October 17, 2018View Original