xxmarkuski

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.

[0] https://github.com/spantaleev/matrix-docker-ansible-deploy

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.

[0] https://codisec.com/

[1] https://codilime.com/

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.

[0] https://en.wikipedia.org/wiki/The_Open_Group

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.

A commit to Webkits Quirks.cpp was shared last month [0]. Probably not what you are referring to but has a similar vibe.

[0] https://news.ycombinator.com/item?id=40631439

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.

[0] https://www.independent.co.uk/life-style/pregnant-women-ozem...

[1] https://www.theguardian.com/science/article/2024/may/14/weig...

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.

To be honest, I don't think much of notaries and believe that they stifle innovation and harm the German economy, especially SMEs, but also clubs and citizens. For example, the purchase or sale of a property can only be carried out with a notary who reads the purchase contract for both parties. For this service, he charges a fee of around 1.5% of the sale price. The entire profession is strictly protected by law and there is no competition.

I still remember vividly how I once wrote IIII instead of IV in an outline numbering at school and my teacher was furious about it and basically told me I was stupid for writing it that way. So glad these days are over.

David Basin and his team have done really cool work in the past. I was lucky enough to see a talk by him about EMV Race, which are exploits in the EMV protocol used by credit cards. Their approach included modeling this protocol in Tamarin. Its website [0] shows demonstrative videos.

[0] https://emvrace.github.io/

Right now in Germany vaccines are available in abundance, just today Berlin opened a Drive-In Vaccination Center at a furniture store and at Vaccination Centers in Saxony appointments are not needed anymore [1].

[1] https://www.tagesschau.de/newsticker/liveblog-coronavirus-di...

The part about hippies is just an example, think of it as an figure of speech. The point he is making has nothing to do with the weather or hippies, it's that peoples believes on what makes them happy are not in alignment to what actually makes them happy or they fail to take account for lots of variables changing, while they believe only one changes.

Due to reordering article 13 is now article 17: https://twitter.com/Senficon/status/1109153304964222976