kagebe

4 ms·

1.
by kagebe 9y ago
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 proceedings/journals) and/or learne
2.
Rediff: Kickstarter for open source semantic diff tool(kickstarter.com)
1 points by kagebe 9y ago|0 comments
3.
by kagebe 9y ago
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.
4.
by kagebe 10y ago
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 does not need any references or objects that have state and
5.
by kagebe 10y ago
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 optimizations that partial evaluation
6.
by kagebe 10y ago
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 section: "The DSL developer just reuses Impala&#x2
7.
by kagebe 10y ago
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" already optimizes a lot and the back-end finally
8.
by kagebe 10y ago
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 of your language, but you'll write your own compil
9.
by kagebe 10y ago
In related news: Radu Grigore "Java generics are Turing complete" POPL'17 Preprint: https://arxiv.org/pdf/1605.05274
10.
by kagebe 10y ago
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 and AnyDSL (our approach) under the lens of staging/par
11.
Ransomware developers ask for help with CryptoAPI from security researcher(bleepingcomputer.com)
8 points by kagebe 10y ago|5 comments
12.
by kagebe 12y ago
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 site ever gave me such an option, but my browser has it - so
13.
by kagebe 12y ago
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 environment, especially compared to the Windows floating window
14.
by kagebe 12y ago
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, that what's important here, are the (bot
15.
by kagebe 12y ago
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 article just states that the neighbours think it's hist
16.
by kagebe 12y ago
> 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" Into the purse that would have contained the gun.
17.
by kagebe 12y ago
> 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 (if not all) cases. Especially not in such a public place.
18.
by kagebe 13y ago
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 meaningful Theorems, or as it is more commonly cal
19.
by kagebe 13y ago
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 to do register allocation/spilling/etc. in y
20.
by kagebe 13y ago
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 you use IEEE floating point, say goodbye to your theorems abou