Does anyone know what Kore is? There’s no links in the post, and the closest I could find was https://github.com/kframework/kore but I’m not entirely sure it is
I think it’s more likely https://kore.io/
Indeed, that’s the correct link. Kore is an easy to use web platform for writing scalable web APIs in C.
I used to work for an information security company called KoreLogic; we referred to ourselves internally as “Kore”.
Whenever I talked to someone from outside the company it would go like this:
“I work for KoreLogic Security. Not CoreLogic with a ‘C’. Not Core Security. Not Kore IO. KoreLogic with a ‘K’, but not the KoreLogic with a ‘K’ in the United Kingdom.”
(And for future reference, you should absolutely talk to the KoreLogic people if you need information security consulting. I cannot say enough nice things about them.)
http://www.lizengland.com/blog/2014/04/the-door-problem/ works fine directly. Can this be changed to that?
This looks potentially interesting, but I’d be much more interested if I could actually find source code for it…
It’s not at that stage yet. They’re presenting a paper on it so far and that’s about it. They might open it up after the research phase is over, fingers crossed.
“We are in research pase” is a bad reason not to show code. It’s a bad reason before you get a paper out, but it’s an even worse reason once you had your publication confirmed (and indeed the authors mention that they got an ICDE18 paper out of this work). Research is about sharing ideas in the open, and talking proudly about your work on a specific software prototype without giving the sources is a douche move.
It sounds almost too good to be true. I find it weird when researchers claim things that no one can reproduce. So much for transparency.
these folks have a decent pedigree both with respect to research and open sourcing their code. I haven’t looked closely at the paper yet, but the numbers seem non crazy. that said, as with all the work in this particular sub area, consistency models mean everything, and the words “flexibly consistent” a guaranteed to be doing a lot of work.
This is great news! Redis seems to me as one of the best engineered “low level” DB, so the claim to outperform it by a 10x factor is definitely very interesting. They are certainly doing a good job at teasing us with these promising results!
https://blog.canya.com.au/2017/12/20/canya-acquires-majority-stake-in-bountysource-adds-over-46000-users/ is a slightly more useful post about it (linked from the top of the above link)
I’m idly wondering whether this should be tagged “video” or not, as the only docs appear to be a Youtube video (from a year ago).
I’m sorry. This was a spot it and throw it out there submission that I didn’t review thoroughly. I just assumed they’d have a detailed description in there. Here’s some slides I just dug up for yall:
Has relevant details. Author is apparently involved in the coin craze now.
http://cryptosrus.com/interview-with-ceo-sam-williams-and-cto-will-jones-of-archain/
Site appears to be down (blame Hacker News apparently) but I found what I think is the Github repo for it and a Google cache of the page (as our usual one isn’t working) - you’ll have to scroll about 1/3rd of the way down before the actual content starts though
And this is why things like the Hypothesis example database are such a good idea. Being able to have the random examples, but record which combinations particularly break your system mostly solves this (well, provided you either see the break cases on a dev’s machine or can fish them out of the build system)
I’m kinda confused about this, mostly because I like most of the examples they’re flagging under “either you hate this or you have no soul”
@d_run Please can you add the “video” tag. Thanks!
https://techcrunch.com/2017/10/03/yahoo-says-all-3b-accounts-were-impacted-by-2013-breach-not-1b-as-thought/ also has a good article on this
Cached version: https://archive.is/6s2y8 (because the “cached” link gets a 404 page right now)
I generally use wait-for-it-type scripts in the ones that have dependencies. Cleaner to write the e2e_tests command as something like ./wait-for-it.sh web:8080 && nc -vz web 8080 and you can then boot it as a single command.
This has the downside of adding a file to e2e_tests, but you can do it without modifying the actual test code.
So, the other option is all the work with property-based testing and this is available for many languages already
There’s actually quite a few categories. I posted a survey paper covering four of them here:
I’m getting a 404 from this (and nothing in cache)
I prefixed the path component of the submission URI with “blog/”.