3,483 karma · joined January 2, 2011
I guess that's either a very lucrative business or they have a ton of VC money behind them. This acquisition gives them some good editors on desktop to use as a base to deploy some of this AI tech focusing on a more pro market.
The point is that you can check the binary against some sort of formal definition to make sure the implementation you have at hand has not been tampered with. But it seems the idea is to check during dev not usage which for me is a missed opportunity. Why can't it check if it's correct every time it's loaded?
Keep in mind that Bertie is written in hacspec -- a more "restrictive" version of Rust that lends itself to formal verification. Working on Bertie feels a lot like working on a typical Rust crate but all code needs to be valid according to hacspec. Thus, you may also find that some code is "unusual" compared to vanilla Rust."The articles on this database are automatically generated by our AI system" https://www.digicomply.com/dietary-supplements-database/pana...
Is the information on that page correct? I'm not sure but as soon as I noticed it was AI generated I lost all trust. And that's because they bothered to include the warning.
IMO the bloat he talks about on the post is not representative of 2024. Pretty much all frontend development of the last 2 years has been moving away from SPAs with smaller builds and faster loading times. Fair enough it's still visible in a lot of sites. But I'd argue it's probably better now than a couple years ago.
Inspired me to build a clone to learn Svelte. I'll try that this week.
The second tab on their app (inspire) is a tiktok inspired social network where creators can highlight products and earn money. I find it pretty fun to scroll for a while.
Either create something new or try to use/collaborate something open source. As you get more experience you'll get to learn more about different options such as frontend vs backend.
Once you are done with your second or third personal project I promise you'll have the confidence to apply to an IT job and you'll have a better idea exactly where and doing what.
It's better than nothing and no one should ever go at that speed anyway.
The difference is that you get it on Android or iOS.
If you buy a gamepad and are able to output to a decent sized monitor or have a tablet, you have a great gaming experience worth dozens of hours. I think Netflix can really find success expanding into gaming. For now they seem to be working very much Undercover, but they've been adding a ton of content there. I'm sure they're building it up and at some point they'll throw some marketing behind it.
I'll miss it until next Christmas
Nebula, brilliant, masterclass, dropout, ...
I do recommend all of these. They provide a stream of high quality YouTube like content.
Real IBMers got all kinds of stuff. We had to pay full price for the GR meal.
I did the first only so far and no polips.
There's nothing to be scared. It takes less than an hour and is painless. The worst part is the prep you do at home a day before. It's very powerful stuff. You'll be shitting clear water by the time they do the exam.
Some will throw away one of your names, some will truncate it, some will concat both.
Since these systems talk to other systems my name is often on an unexpected state.
At best this makes accumulating miles really challenging. At worst it got me denied from boarding once.
Airline systems are setup for first name, last name and maybe middle initial. That's how the US works and almost no one else.
It's 2023 people. How can you justify no https on a technology blog?
Everything else goes into Google drive. I use the Google drive app on Android to scan my physical documents, and I pay for the 200GB plan which is enough for all my stuff.
I've been hoping to write a script to backup stuff into an S3 bucket. I just never have the time.
"-- ATTORNEY CLIENT PRIVILEGED --"
They explained to me this allowed us to communicate without fear our discussion can be misquoted and miscategorized in the future.EDIT: To clarify that was something I needed to add when talking with legal. Not something magic that works for everyone.
So besides being in good standing with a member of their guild you also have to preface your communication with their religious texts. \s
Wasn't the license change on terraform supposed to avoid exactly this?
Seems like this is getting uglier and uglier for HashiCorp. Not only it sparked a fork but it didn't keep big cloud from competing on the hosted use case