mafribe

15 ms·

121.
by mafribe 9y ago
Why even have these non-professional outlets Because conference attendees are human. Not only are they human, many of them young. And humans like to have fun, which include boozing, dancing, socialising, and -- for many -- hooking
122.
by mafribe 9y ago
isn't exactly far fetched. Why don't you discuss this with Jensen Huang, Chi-Chih Yao or Satya Nadella?
123.
by mafribe 9y ago
"whiteness" has changed Maybe we should change the meaning of tptacek to Osama bin Laden -- and argue that you are dead? Yes, the meaning of "whiteness" has evolved -- for sinister political reasons: equating &
124.
by mafribe 9y ago
everyone agrees that such overt exclusion, if it exists, is racist or sexist. I certainly do not agree with this. Your opponents simply deny that the compiler has the ability to exclude or be sexist or racist. The argume
125.
by mafribe 9y ago
For those who understand networking: the Mirage TCP/IP networking stack [1] in pure OCaml is a must. It's an object of extreme beauty, and possibly the most eloquent argument for types, types inference and algebraic data typ
126.
by mafribe 9y ago
Graydon Hoare (Rust creator) has an interesting post on a related matter "always bet on text" http://graydon.livejournal.com/196162.html
127.
by mafribe 9y ago
Could you not have a radical separation between data to be collected by Scala.js GC, and data GCed by Javascript? Data that crosses the boundary is deep-copied so as to avoid interference between both collectors? Not good for performance, b
128.
by mafribe 9y ago
Everything you say is true, but a very simple compiler with little/no optimisations should be quite easy to write. Indeed it is often coursework in undergraduate compilers courses (for source languages simpler than Rust). The main di
129.
by mafribe 9y ago
What's Rust like in ... Isn't that less a question of Rust (which due to its affine types, should be usable for generating code with predictable performance) but of compilers? It should be possible to write a Rust compile
130.
by mafribe 9y ago
Scala.js could write their own GC to hook into WASM as a library, and ship it with Scala.js until WASM has its own GC. Indeed, such competition could spur on the the WASM team(s) to accelerate work on GC.
131.
by mafribe 9y ago
(1) I'm not sure I understand point. JS has long been without alternative, that's why JS has seen such a massive uptake. Moreover all JS alternatives, from TypeScript to Scala.js to Elm to Flow are adding types. Anyway JS's p
132.
by mafribe 9y ago
has always been code completion. I disagree. Code completion is overrated and only of marginal importance in the production of high-quality code. The key advantages of types are: - Enabling ahead-of-time compilation resulting in ef
133.
by mafribe 9y ago
Yes and no. The proofs could be auto-generated for decision table based contracts, so a decision table could be a convenient DSL for simple contracts, without preventing more complicated contracts. The average contract writer would never ne
134.
by mafribe 9y ago
full byte code execution engine was a big mistake An even better scheme would have been proof-carrying code: a contract should have been a pair (c, p) where c is the program expressing the contract (in a Turing complete languag
135.
by mafribe 9y ago
Haskell is an ML variant, that basically extends ML with higher-kinded types, which are used -- among other things -- to constrain effects monadically.
136.
by mafribe 9y ago
Was this interview for a compiler position? Anyway, dominators make sense for arbitrary directed graphs (with a notion of root).
137.
by mafribe 9y ago
it's tragic Fortunately, this is a minority opinion in programming language research today. Bracha/Felleisen have lost this fight.
138.
by mafribe 9y ago
because the JIT will fix it This has not been borne out in practise. Moreover JITs are much more complicated and hence expensive to develop to maturity than standard AOTs.
139.
by mafribe 9y ago
innovation into "more powerful/better language mechanisms" has stalled, for some other reasons. For sequential languages there is probably not much to improve -- except at the edges. ML nailed it. Almost all
140.
by mafribe 9y ago
research in academia is that it's disproportionately focused on even stronger types that are even harder to compute. Type inference for simple types in sequential computation is a solved problem, Milner and Dama
141.
by mafribe 9y ago
One suggestion has been that Assad gets help with fighting ISIS on condition that he participates in fair, open, democratic and internationally monitored elections as soon as Syria is pacified. As far as I am aware this was discussed. I&#x2
142.
by mafribe 9y ago
doesn't prove anything. The world of regime change isn't one where things are "proved". The Wikileaks mail I cited gives evidence, plausibility. That's the best we can hope for. Your counterevidence is not
143.
by mafribe 9y ago
I'm not sure in what sense your answer is a constructive contribution. There is a long history of engineering 'grassroots movements' toward overthrowing governments. All powers have been engaging in this practise, and you can
144.
by mafribe 9y ago
as long as Assad was ruling Assad's secular dictatorship is massively preferable to ISIS rule, especially to the 25% of the Syrian population that are non-Sunni.
145.
by mafribe 9y ago
started as a demonstration against the corrupt Assad It's unlikely that this was spontaneous, and most likely the first public result of a planned and well-funded regime-change operation.
146.
by mafribe 9y ago
In what sense does pre-cooking food give us more endurance? EDIT: the O. P. Judson paper cites [1] which explores this issue in a mouse model. [1] E. E. Groopman et al., Cooking increases net energy gain from a lipid-rich food. https:&#x2F
147.
by mafribe 9y ago
The current cambodian prime minister Hun Sen, in power since 1985, is a former Khmer Rouge.
148.
by mafribe 9y ago
As a (university) teacher myself I feel it should be pointed out that teacher motivation strongly correlates to student quality/motivation. Teachers are humans too, with emotions and feelings, and if students treat us badly that's
149.
by mafribe 9y ago
Scandinavian school systems that have demonstrated good results [...] have spent decades gradually de-emphasizing tests and grades. The Asian systems that have demonstrated good results emphasize tests and grades heavil
150.
by mafribe 9y ago
Pol Pot's regime flattened Cambodia Pol Pot's weapons came from China and North Vietnam. Pol Pot sent Cambodian rice to China in exchange for weapons, knowing full well that not enough food would be left for the cambodian

More ›