mafribe

87 ms·

811.
by mafribe 11y ago
reconciliation in my mind between dependent types and higher kinded types. They are orthogonal concepts. This is made very clear in Barendregt's λ-cube [1]. Orthogonal here means that a typing system might be higher-kinded wi
812.
by mafribe 11y ago
I agree that the framework and the general idea of program rejuvenation is applicable in general.
813.
by mafribe 11y ago
Question : What's the most important algorithmic technique? Answer : Understand the problem domain better.
814.
by mafribe 11y ago
the technique could be applied in other areas The optimisations used in the paper are tightly coupled to a certain approach to image-processing.
815.
by mafribe 11y ago
I have not had time to study this paper in detail, so please take what I say here with a grain of salt. Dynamic instrumentation is powerful, I think Google is using DynamoRIO heavily. Optimising compilers for DSLs is a trendy topic because
816.
by mafribe 11y ago
I think what the paper does is a variant of profile-guided optimisation (PGO) [1], an old approach to optimising compilers, where the binary is annotated and run to produce information about runs that is then feed back to the compiler so
817.
by mafribe 11y ago
Did you read the articles? Merkel's reaction was instant. "She immediately said: 'But we never asked you to spend so much of your GDP on defence, Quite. Don't by weapons if you don't need them and can't
818.
by mafribe 11y ago
What are you talking about? Neither the German or the French airforce operate or did operate F-16s [1] to the best of my knowledge. The article [2] makes it sound like the planes were directly acquired from General Dynamics, the manufacture
819.
Ruins of the soviet space shuttles(idealistrevolution.org)
1 points by mafribe 11y ago|0 comments
820.
by mafribe 11y ago
Greek bashing? The Greek airforce has [1] 156 F-16s, an airplane that's $165 million a piece new. Why on earth does Greece, a NATO country need 156 F-16s? Could they easily be sold for a couple of billions on the second hard market? N
821.
by mafribe 11y ago
CompCert uses tame optimisations, and compiles to mainstream architectures nothing exotic. Most of all, CompCert does not deal with concurrency as far as I'm aware. Concurrency is where memory models matter. The problem with memory mod
822.
by mafribe 11y ago
Sure, but as of July 2015 the programming languages (e.g. Agda, Idris) that can give full specifications of their own programms, are experimental, not mainstream.
823.
by mafribe 11y ago
At least since 1935 people have been trying to formalize all of mathematics with set theory. Cantor invented set theory for this purpose in the 1870s. By 1935, Goedel's incompleteness theorems had shown the limitations of thi
824.
by mafribe 11y ago
By Curry-Howard, the program is the proof, albeit usually not of an interesting proposition.
825.
by mafribe 11y ago
Scala, C, Javascript. Scala covers mainstream OO-programming and Haskell-style modern functional programming (monads, higher-kinded types). Moreover via Akka you have access to Erlang-style distributed programming. C is vital for low-level
826.
by mafribe 11y ago
But, every macro itself is a small compiler. I'm not following you here. What does that mean? The macro gets expanded at compile-time into 'normal' source code, by the compiler.
827.
by mafribe 11y ago
At this point the European contracts are such that a country can only leave the Euro if it leaves the EU. However, I think it would be possible for the EU to agree to amend the contracts to allow Greece to leave the Euro while staying insid
828.
by mafribe 11y ago
Siemens for example [...] has spent over 2 billion euros (!) in bribery to Greek politicians and public servants. Can you please substantiate this outrageous claim? The Wikipedia page [1] mentions approx €150k. [1] https:&#x2F
829.
by mafribe 11y ago
Singling out a groups as scapegoats for all blame and the aspect of collective punishment In line with many on the right, you are singling out Germany as a group as a scapegoat! Indeed Syriza's approach to the negotiations wa
830.
by mafribe 11y ago
The compiler implementing the macros (a form of compile-time meta-programming) should be the same compiler as that for the rest of the language.
831.
by mafribe 11y ago
You are right, I should have read the article more carefully. I've deleted it so as to avoid confusing others.
832.
by mafribe 11y ago
French banks lent much more heavily to Greece than german banks. So it was really a bailout of french banks.
833.
by mafribe 11y ago
There is an informal honour's code among scientists that you don't take credit for other people's ideas. While it is forgivable for a PhD or postdoc to be unaware of older work -- after all there's sooo much of it -- a s
834.
by mafribe 11y ago
The ECB has effectively acted as a lender of last resort to Greece for a looong time (just look at ELA [1] for example), although for political reasons this fact has been sugar-coated so as not to scare the electorate in states that pay f
835.
by mafribe 11y ago
That is rather questionable. German exports did very well before the Euro. And neighbouring countries not in the Eurozone are also doing well. Switzerland, UK, Denmark etc.
836.
by mafribe 11y ago
Thanks. Is this because it's mostly programs that live in executable space on a well-maintained machine or because gadgets can be precomputed (at least in parts) which makes compilation easier? (Not that that is mutually exclusive!)
837.
by mafribe 11y ago
It is true that "ROP gadgets are usually harvested from libraries loaded into the program, not MP3 files", but that's not because there's something intrinsically wrong with mp3s as source of gadgets, it's just that
838.
by mafribe 11y ago
Why is this post downvoted? This idea of (mis)using code is part of the essence of ROP! Could somebody please explain where I'm wrong, so I can learn?
839.
by mafribe 11y ago
Data can be executed if it is in the executable part of the memory. There is quite a lot of such data. In particular, code is data!
840.
by mafribe 11y ago
That is true, I should have been more clear about this but you don't use the "legitimate function"'s intended functionality, you only use the fact that it can be execute (and the byte-string that is it's code). I us

More ›