nano_o

8 ms·

31.
by nano_o 14y ago
One can also take types into account for completion. There is a Scala Eclipse IDE plugin that does it: http://lara.epfl.ch/w/insynth (it's a research project).
32.
by nano_o 14y ago
Interactive theorem provers can quickly get you from stage 1 to 2. If you are interested, [1] describes the experience of a professor teaching how to write correct and readable proofs about program semantics using the interactive theorem pr
33.
by nano_o 14y ago
Sometimes it may be better not to explain than to resort to cosmic molasses and moonlight (terms taken from the NYT quote in the article). Here is, I think, Feynman explaining it: https://www.youtube.com/watch?v=wMFPe-DwULM It seems to a
34.
by nano_o 14y ago
Here are two related books that are freely available (and that I haven't read): The Haskell School of Music — From Signals to Symphonies, by Paul Hudak (pdf available at http://www.cs.yale.edu/homes/hudak/Papers/HSoM.pdf ). Music: a Mathem
35.
by nano_o 14y ago
I think it's much better than brute force search. The example above produces the following code: val (hours, minutes, seconds) = { val loc1 = secnum div 3600 val num2 = secnum + ((−3600) ∗ loc1) val loc2 = min(num2 div 60,
36.
by nano_o 14y ago
It may be worthwhile realizing that most programming or specification languages describe State Machines [1], more or less explicitly (sorry if this is obvious). Moreover State Machines can be described using ordinary mathematics instead of
37.
by nano_o 14y ago
Here's an example of a recent tool that automatically generates code from a declarative specification written in linear integer arithmetic with operations on sets: http://lara.epfl.ch/w/comfusy . There is a plugin available for the Scala (
38.
We are moving from decentralized to centralized social media, not the reverse.(dmytri.info)
5 points by nano_o 14y ago|0 comments
39.
Validate SSL certificates with Perspectives(perspectives-project.org)
2 points by nano_o 15y ago|0 comments