Provable operating systems such as seL4, etc., used in mission critical scenarios utilize formal methods to effectively prove correctness of the system. Definitely a real-world use case. Worth knowing for a normal SWE? Probably not.
Sweet! I’ve also been working on my own (toy) browser from scratch following https://browser.engineering - would definitely recommend to anyone who wants to get started on their own, granted it’s still a work in progress.
A pattern I notice (not necessarily directly related to this article) is that the people who loudly exclaim “I don’t want to go back to the office ever again!” are usually older folks who:
> have a house
> have a family
As a 20-something who lives alone in an apartment, I don’t get the luxury of having a nice backyard to go work in (like someone mentioned doing in another comment thread here). I don’t get the luxury of having a bunch of space to set up an office. And for that reason alone I’m excited to go back to an office setting. It’s nice that older people who have their lives figured out are enjoying WFH, but let’s not discount how WFH disproportionately is worse for early in career people.
Just my 2 cents: I think a lot of the reason why we feel we need to “get” poetry in the first place comes from our education system. When poetry is taught in the classroom, it is always done so under the guise of there being some hidden meaning that, if you are unable to discover, makes reading the poem feel utterly useless.
Fast forward to my university and I was taught something completely different in a creative writing course — poetry is about play. It isn’t about having to inspire some deep meaning. Sometimes it can just be fun to mess around with words in a way that sounds pleasing. As others have mentioned, there’s also this notion pushed in our youth that poetry has to have perfect rhyme, or follow some scheme; but as soon as you realize that isn’t the case, combined with the fact you don’t have to be searching for some obfuscated truth within poems, you start to realize poetry has been marketed as something much different than what it really is.
That’s not to say you can’t search for deep meaning in a poem, or attempt to write something meaningful into one - but really, poetry is about play, and it should be as serious as you want it to be. For me, that realization made me “get” poetry more than I did back in my high school days.
"We find that approximately one-quarter of bitcoin users are involved in illegal activity. We estimate that around $76 billion of illegal activity per year involve bitcoin (46% of bitcoin transactions), which is close to the scale of the U.S. and European markets for illegal drugs."
I would love if you could point me towards a current use of Bitcoin that isn't as a currency for illegal goods, or as an investment vehicle -- I'm genuinely curious why you think what I said isn't the case.
Agreed for sure, but even the younger generations seem susceptible to believing whatever they read on Twitter, etc. There have been countless times I’ve seen people share info as de facto truth when they simply glanced at a headline Twitter pushed them without bothering to read deeper.
The issue with Deno, personally, is that it feels like it doesn’t deviate enough from NodeJS to even make it worth taking the time to learn/migrate projects over to it. From what I recall, the only really new and nice features are:
a) sandboxed by default
b) no need for a node_modules folder since you can directly import from a URL
And is that really worth dumping loads of money into developing further? I just find it hard to believe people are going to bother with Deno any time soon - we’ve gone too far down the NodeJS road.
Just to offer a different perspective from the people lauding WFH - I get that it's nice to have your amenities all in one place, not have to spend time commuting, etc. And I get that for people who were already working from home, making the switch wasn't that hard, since you already knew your coworkers and had built relationships with them.
But consider the new people here. I've had a totally different experience coming into a company during this pandemic, not having already built those relationships with coworkers and having to ramp up on the team's tech/codebase. Every day I wish I was in the office, just because as a new person it is so much harder to get the help and guidance you need online. Whereas in the office I could casually shout over a question to a coworker, WFH I don't have that same ability. Everything feels super scheduled now, much more like a meeting, even when I just want to have casual banter. I think this is the huge downfall of WFH.
What I'm hoping will be the future of tech jobs is a hybrid of WFH and in-person work. I think that if you're someone who's been at a company for a while and can be self-sufficient at home, more power to you - feel free to work from home more often. But as someone who really needs more oversight and assistance while learning how to do my job, I still believe the office has its purpose -- we shouldn't just get rid of it.
This isn’t true though, they have specified who the independent third parties will be: CloudFlare Warp, Fastly, and Akamai. See here: https://www.barrons.com/articles/fastly-stock-outage-think-a...