Viewing profile — kagebe

A common mistake for us Germans. Especially if one hasn't worked in an English-"speaking" environment (US/UK/..., international company or publishing in English academic proceeding…

I use it to share passwords with one other person via a suitably restricted git repo, works perfectly fine. Edit: See sister comment by runejuhl.

Linear types are a more fundamental concept (in functional programming and type theory) than reference capabilities, since they apply to values of any type and a linear type system…

Partial evaluation (whether online/offline) is not implemented in any (current) C/C++/Rust compiler, for very good reasons. "Global Optimizations" may do a significant number of op…

In AnyDSL, Impala is a host language for shallow-embedded DSLs. No parser generators/grammar required/needed as that is not the point. From the last paragraph of the overview secti…

In most compilers today, the front-end generates an AST, from which an(other) intermediate representation (IR, named Thorin in AnyDSL[1]) is generated. On that IR, the "middle-end"…

Xtext and AnyDSL have very different goals. Xtext is mostly about Syntax and IDE-Support, while AnyDSL is about compilation. With Xtext you'll get support for defining the grammar …

In related news: Radu Grigore "Java generics are Turing complete" POPL'17 Preprint: https://arxiv.org/pdf/1605.05274

As far as I understand, for LMS: Those types T for which one has implemented needed operations for the Rep[T] type. Shameless plug: For another comparison of MetaOCaml, LMS, Terra …

How about asking your customers, instead of stalking them by default? Even telephone hotlines warn you that the calls may be recorded and give you (at least) a way to opt out. No s…

I think it's not only the interactive elements, but also the way information is displayed. I actually think he (and others) might benefit from a really responsive desktop environme…

Wasn't the original goal 'Reducing the coupling between our core packages'? How is a fully display of all the transitive dependencies necessary for that? The goal already implies, …

Now, I'm very strongly influenced by my german culture, but the article made me curious: What kind of history does this particular house have, except maybe for its looks? The artic…

> but based on her description she would have had time to properly use a gun in defense I quote the article: "She pulled the knife out further and pushed it into my blue purse" Int…

> If someone was caring a gun, they could have helped. If she were caring, then she could have put an end to this nightmare herself. No, that is not how it would work out in most (…

Well, then I restate: "Those proofs were not proofs of the theorems they/Bloch wanted to prove." The point being: Proving is not just about your proof, but also about writing meani…

While you may be right with regards to the file size (although most SSA-representations are not built for small size, there is quite some potential to reduce it, imho), you'll have…

In my opinion, the main take-away here is that the proofs were, obviously, no proofs. If you program with modulo arithmetic you have to do your proofs with modulo arithmetic. If yo…