Viewing profile — psygnisfive

ThePirateBay is not sticking ads in BitTorrented Video shows and movies no matter how little you pay

Contact the Electronic Frontier Foundation. This is literally what they do. I don't know if they'll take up the case, but talk to them.

> Security vulnerability finding is almost certainly the wrong target for Semmle CVE-2019-5876 CVE-2019-16230 CVE-2019-16231 CVE-2019-16232 CVE-2019-16233 CVE-2019-16234 CVE-2019-1…

mm.. perhaps I'm just not familiar enough with prolog, but I don't think it's possible to extract out a set of Prolog-level metavariables and compute over them? This is what's nece…

I'd also recommend Practical Foundations for Programming Languages (PFPL). And a bunch of other things, which I outlined here: So You Want To Learn Type Theory ( http://purelytheor…

Indeed! Tho this is only half the problem, because `T` there includes metavariables, so it's not a type but rather a schema at the meta-level for types. What we'd like is something…

Ahh, well! That's a trickier problem! You need a bidirectional system that has unification for metavariables, and then some system for handling unsolved metavars. But to do that re…

It was also front page on HN at the beginning of 2015 ;)

Yeah, we're cross posting from my blog to the official IOHK blog, too. The first post only just got up on IOHK :p

Oh! Was Murray Shanahan's lab involved with this? Cool. I've chatted with Murray a very tiny bit on twitter about this all. That paper is part of what inspired me to write this blo…

That's correct, yes. Cycles don't affect subgraph counts. There's still only finitely many.

Reading a graph back can't be done with any certainty, nor is it intended to be done. It's a representation that's intended to be used to build inputs to ML systems, not outputs. B…

Oh! Thanks for pointing this out. The whole site is hand maintained, and I routinely forget to put stuff up there. :)

I think to some extent it disappeared, to some extent it rebranded. But mostly it disappeared, because commercial motivations pushed a lot of money towards machine learning researc…

Grammar inference is a very interesting (tho quite different) topic. We have absolutely no idea how humans do it, and we know that its really really hard (nearly impossible!) to do…

It's a very small unification, and a big, eye-catching claim. Besides, I said "aims", not "succeeds"! :) I certainly don't think this is The Big Solution, tho. It's far more mundan…

I know of no other work like this, unfortunately. But I would caution against saying this is a Vector Symbolic Architecture; the representations are, as far as I know, quite distin…

Heyo. Author here. It depends on what you mean by that. It assumes a fixed set of node labels , but not node identities, since we're counting subgraphs. So for instance, multiple d…

The general idea here is that you can calculate not only whether or not a string matches a regex, but if it doesn't match, precisely by how much (in the minimal case).

Buy instant(ish) noodles from an asian grocery. They often have lots of great variety and are cheap and healthier than the ramen you'll usually get in big chain groceries. In fact,…

Gosh, people are really interested in this suddenly, huh? Well, I can answer any questions people may have! :)

I'd caution the reader that this post is about purely functional, type theoretically defined languages. I haven't yet generalized to languages with implicit effects (tho I suspect …