xxmarkuski

5 ms·

31.
by xxmarkuski 2y ago
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.
32.
by xxmarkuski 2y ago
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 pr
33.
How we found and fixed an eBPF Linux kernel vulnerability(bughunters.google.com)
268 points by xxmarkuski 2y ago|65 comments
34.
by xxmarkuski 2y ago
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
35.
by xxmarkuski 2y ago
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:
36.
by xxmarkuski 2y ago
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:/&#
37.
by xxmarkuski 2y ago
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,
38.
by xxmarkuski 2y ago
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
39.
by xxmarkuski 2y ago
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 ris
40.
by xxmarkuski 2y ago
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 tha
41.
by xxmarkuski 2y ago
"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 "merg
42.
by xxmarkuski 3y ago
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 wit
43.
by xxmarkuski 3y ago
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.
44.
by xxmarkuski 3y ago
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.
45.
by xxmarkuski 5y ago
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.t
46.
by xxmarkuski 6y ago
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 actua
47.
by xxmarkuski 8y ago
Due to reordering article 13 is now article 17: https://twitter.com/Senficon/status/1109153304964222976