zero_k

7 ms·

31.
by zero_k 1y ago
Ah, interesting. Thanks, I'll look into it!
32.
by zero_k 1y ago
I work on a (once top-of-the-line) SAT solver [1] and a (currently top-of-the-line) model counter [2]. Actually, I am very interested in the part of the rebuttal of "when each constraint has at most two variables, then the constraint s
33.
by zero_k 1y ago
I'm also with Sparkasse and it's the worst. Their digital systems and their technical understanding is the bottom of the barrel. On the other hand, the "most digital bank" in Germany, N26, a so called "neobank"
34.
by zero_k 1y ago
Sometimes, I wish engineers running backend services were not hindered by management nonsense and would just nuke these systems when they are reported, sufficiently backed up with evidence (like here -- though I'd do a personal check f
35.
by zero_k 1y ago
Springer? You mean the publisher we are currently fighting so they won't mess up our peer-reviewed research paper that we wrote and paid for the privilege for them to mess up (ehm, sorry "publish")? Colour me surprised.
36.
by zero_k 1y ago
Haha, Marijn Heule who is pushing a lot of limits of SAT solving would love this. If you manage to get him excited, he might spend a few years on this problem :) He's kinda famous for solving the Boolean Pythagorean Triples problem usi
37.
by zero_k 1y ago
Yes. Exactly. If you make it readable and understandable, somehow the reviewers think it's easy. NO! It's easy because I made it easy for you to understand, and that's a good thing! If you invented BDDs or Petri Nets today, a
38.
by zero_k 1y ago
Haha yes. Some people don't publish work in the form of a paper, because it's just so much hassle and you'll get a bunch of nitpicking nonsense reviews while the tool is used by hundreds if not thousands of people/resear
39.
by zero_k 1y ago
Precisely :)
40.
by zero_k 1y ago
The main issue I see is that papers are actually becoming so focussed on form that they are now unreadable. People prefer reading my blog for my papers than reading the papers themselves. In fact I hear people telling me they understood the
41.
by zero_k 1y ago
Broke a few of these for my old work -- HiTag2 and Megamos, some of the code&knowledge used for the attack is online&published, but neither can be used to actually break the ciphers as-is [1][2]. The issue used to be that the cipher
42.
by zero_k 1y ago
Wow, this: "random() was returning values in int range rather than long." is a very nice bug find. Randomness is VERY hard to check for humans. For example, Python's binomial distribution is very bad on some inputs [1], givin
43.
by zero_k 1y ago
Science communication is so important. I write scientific papers and I always write a blog post about the paper later, because nobody understands the scientific paper -- not even the scientists. The scientists regularly read my blog instead
44.
by zero_k 1y ago
America is not a country, it's a continent. I know, Canada will be a province, and soon Panama of course, but in the meanwhile, it's a continent, not a country.
45.
by zero_k 2y ago
This is not a game. Others will not take it as a game, and will retaliate. You can only play the bully for so long before others start treating you as a bully, and stop backing down, even after you have backed down -- as they never know whe
46.
by zero_k 2y ago
Bankrupt only? It should also be criminal negligence. Until some exec goes to jail, this kind of stuff will keep happening. Someone was (likely is...) making good profit out of this business by not investing in IT security. They cheaped out
47.
by zero_k 2y ago
But you forgot! It's also a 3-wise independent linear hashing function! Which means it can be used for probabilistically approximately uniform sampling and counting of solutions to boolean functions. This is super-duper useful. We use
48.
by zero_k 2y ago
Hahahhaah yes, true.
49.
by zero_k 2y ago
Hahah yes. Thanks for defending me ;) Apparently making something accessible to the public is AI. I thought it was science communication :D It's what we are all supposed to do as scientists, but somehow nobody pays us to do. So I do it
50.
by zero_k 2y ago
Hahha you must be kidding. I am the author. And it was not written with AI. I write that blog, and never used AI to make the blog, or to post here. Weird world we are living in... Ghosts, people are seeing ghosts. We should have a beer an
51.
by zero_k 2y ago
Ooopps... it should read "when H1 is TRUE" not "when H1 is FALSE". Fixing now :) Thanks for spotting this!
52.
Computing Tricky Probabilities Using Model Counting(msoos.org)
19 points by zero_k 2y ago|12 comments
53.
by zero_k 2y ago
Complicated causal chains can be tricky to work with, but estimating the probability of a bad event (e.g. nuclear facility meltdown) is extremely important. This article showcases how complicated, inter-dependent causal chains can be analyz
54.
by zero_k 2y ago
Another incident at Okta? Oh no! Its security has _always_ been a mess. It's a dumpster fire and no client of their cares because their identity systems are so messed up, that it's better to have the mess of Okta, than the mess th
55.
by zero_k 2y ago
PoC||GTFO is a great magazine :) Yay to Travis Goodspeed! Sorry, I wanted to say Pastor Laphroaig. Just don't get him started on his Tennessee buck belt :D
56.
by zero_k 2y ago
"Europe's leading AI companies and research institutions" -- order should be reversed, if the EU is serious about AI. It should say: "Europe's leading research institutions and AI companies..."
57.
by zero_k 2y ago
This is by Edward Tufte. If you haven't had the chance to check out Edward Tufte's other works, in particular, the Visual Display of Quantitative Information [1] then I highly suggest you do. Every time I see a horrible graphic in
58.
by zero_k 2y ago
They are effectively unregulated. Most drivers have no clue how to adjust them, and the "modders" replace them randomly with whatever they find is the brightest/coolest. Yeah, you _could_ fine them and claim that the cars are
59.
by zero_k 2y ago
Publishing in Academia is a scam. Nowadays everyone puts their papers also on arxiv.org so at least we can read each other's papers for free. While of course still paying the fees to these publishers who are doing nothing but messing u
60.
by zero_k 2y ago
It doesn't need to be good at solving the problem. It only needs to be good at translating the problem of "If the unknown x is divided by 3 it has the same value as if I subtracted 9 from it" into "x/3 == x-9 &a

More ›