I remember in mechanical engineering class we would often use this for exercise sheets. On our calculator we could directly enter π and ², thus it was equally as fast to entering 10.
My friends and I all selfhost own matrix homeservers and we use it to chat.
It works reasonably well, but stil the administrative work required should not be underestimated, comparable to selfhosting e-mail.
Regarding features, matrix is promising and definitly innovative, but espacially the mobile apps don't have the same level of usability like WhatsApp or novel features like Telegram. Techsavvy friends can definitly use it, but you don't want to become a managed service provider for your broader family.
I use this ansible playbook to provision my server and related services (monitoring, bridges, ...) [0].
The bridges espacially make it fun to play around with.
I'm running bcache, with lvm/luks and xfs on top, since >5 years on my desktop and it has been stable and partition manipulations, like resizes, worked without problems, albeit the tooling is not so well supported.
I bought new a new ssd and hdd for my desktop this year and looked into running bcachefs because it offers caching as well as native encryption and cow. I also determined that it is not production ready yet for my use case, my file system is the last thing I want to beta tester of. Investigated using bcache again, but opted to use lvm caching, as it offers better tooling and saves on one layer of block devices (with luks and btrfs on top). Performance is great and partition manipulations also worked flawless.
Hopefully bcachefs gains more traction and will be ready for production use, as it combines several useful features. My current setup still feels like making compromises.
The main page of codisec [0] lists that Veles has been retired. They since have a new project, CodiLime [1], which seems like is a general technology consulting/outsourcing company.
CodiLime was the actual company, CodiSec was "brand" for various security related activities, starting with CTF competitions where we used the name first, then it was used as brand for the team that worked on Veles (we continued to take part in CTFs)
None of the CodiSec members were among the management/founders/etc of CodiLime - we were AFAIK plain employees, though one of us was in fact mber of DragonSector which is partly how CodiSec started.
I recommend looking up the Wikipedia article [0] on The Open Group, if you haven't heard of them yet. Among other things, they maintain standards such as LDAP and POSIX and also currently own the trademark for UNIX.
I'm interested in toying around with IBMs current mainframe offerings and found news articles from 2022 about IBM offering mainframs in the cloud as an experiment. I setup an IBM cloud account and looked around at th offered services, but could not find services related to mainframes. Probably need to be a premium customer.
2. Make sure you select a Geography and Data Centre which supports z/OS. I know North America > Dallas > Dallas 2 does. Whereas Europe > Frankfurt > Frankfurt 2 doesn't. I haven't checked the others.
3. Scroll down to the "Image" section and select "Change image"
4. In the popup, you should see two button-like tabs. The default is "Intel x86s architecture", the other is "IBM Z, LinuxOne s390x architecture". Make sure you pick the s390x. If you don't see s390x as an option, it is probably not supported in your selected DC, go back to step (2) above
5. Select your desired z/OS version. Currently they offer z/OS 3.1 and z/OS 2.5. Let's just go with 3.1 – select the radio button.
6. Click "Save" at the bottom of the "Select Image" dialog
7. Now the screen will reclaculate, and you'll get a quote.
Mine is, US$1,874.76 a month before the "sustained usage discount". US$1,693.06 a month afterwards. That's with very minimal CPU/storage/memory/networking/etc, you might actually need to increase those numbers to get a usable environment.
And, if you are happy paying IBM US$20K+ a year, I imagine IBM will be happy to take your money. Some IBM sales rep will probably even be calling you trying to upsell.
IBM does offer the Z Development and Test Environment which is an emulated mainframe for a normal x86 computer. It's $5,980.00 / year. It looks like there is some sort of free trial, and there was a learner's edition.
Not really. Browser developers add lots of different website-specific hacks to make sites behave better in their browser. Mozilla actually used to do this a lot, when they were originally the underdog 20+ years ago and were trying to get people to switch to the Mozilla suite (and then Firefox), when the argument against switching was often related to websites not working or rendering properly in Mozilla/Firefox that behaved properly in IE.
(Not that this is not the same thing as a website developer adding browser-specific hacks to make their site behave better/worse in a particular browser.)
The effects of GLP-1 drugs are fascinating and I am curious whether we will see approvals beyond the current diabetic and weight-loss applications.
In just the last months stories of increased fertility [0] and reduction of heart attack risk [1] popped up, but more data is definitely needed to fully asses the effects.
CBMC ist pretty cool, I've used it in my bachelor's thesis for verification of fairness properties in proportional voting. Another use case I've seen is using CBMC in multiparty computation. What you have there is methods that work on boolean circuits. Flange CBMC in front of this and you got multiparty computation of C code.
"Merging teams" is such a Google thing. Merging DeepMind and Google AI, Waze and Maps, Fitbit & Nest and Pixel come to mind. I don't remeber reading such stories from other companies. Is my perception off or is "merging teams" something that Google likes to announce loudly and other companies don't or do other companies "merge teams" less often? I would like to have some input to this.
I think most other companies have not such a high amount of redundant teams to merge them all the time. So while merging happens occasionally in other companies, we usually only hear about them in context of one company buying out another one.
Not many other companies have the unique blend of being out of touch enough to think that anyone knows what this means and reality, and self-important enough to think that people care.
Are you anthropomorphising companies now? Google the company can't be "out of touch" or "self-important". The engineers maybe, but they don't make PR decisions like this.
In this case the original source is an announcement on a "inside-google" blog, and starts with "Hi Googlers", so the target are clearly mostly Google engineers. It ended up on HN because it was repeated by arstechnica, a respected and well-known portal. And here we are discussing it. So maybe people in fact do care about this?
Companies are groups of people, they're maintained by people, all their decisions are made by people and they only ever do things through their people's hands. They are as anthropomorphic as it gets.
I don't necessarily disagree, but structurally these moves can be very impactful, particularly in a huge company as sprawling and with as much overlap as Google.
If there's a lot of redundant work being done, maybe the teams will benefit from working together on the same problems.
You're right that most of us don't care, necessarily, but I think it sends some signals that the company is attempting to focus a bunch of less focused lasers at the same point.
It's less common in tech companies than in massive multinationals like GE or Sony that span a lot of different industries.
