tpetricek

8 ms·

31.
by tpetricek 9y ago
This is a tricky one. If the abstractions were not leaky, you would not be able to interoperate with JavaScript libraries and you'd have to reimplement everything that powers the modern JS ecosystem. On the other hand, if the abstracti
32.
by tpetricek 9y ago
Mathematics is very good at maintaining the impression that it is universal and superior, but that's pretty questionable once you start looking at how it actually works. For two nice references, see: * https://en.wikipedia.o
33.
by tpetricek 9y ago
For anyone interested in additional context, the paper "AI and the Origins of the Functional Programming Language Style " by Mark Priestley is a great introduction: https://link.springer.com/article/10.1007&#x
34.
Picture combinators and recursive fish – generating Escher woodcut with F#(einarwh.wordpress.com)
2 points by tpetricek 9y ago|0 comments
35.
by tpetricek 9y ago
Or F#: https://github.com/ionide/ionide-atom-fsharp/blob/develop/sr... This project has not been super active recently (because most of the people involved are working more on VS Code version of Ionide),
36.
by tpetricek 9y ago
Maybe the thing that needs to be reimagined is the naive image of science as an infallible way of always getting true answers. Science works, just not in as simple way as one might naively think. Feyerabend's "Against Method"
37.
by tpetricek 9y ago
This has some nice hints on how to read the text of a paper, but I think it misses all the important things that you need to be aware when you want to understand a paper. In particular, things like the research paradigm or research programm
38.
by tpetricek 10y ago
This is exactly the kind of frustration I feel almost all the time when I see some nice data visualizations on the internet! And that's why I began working on https://thegamma.net . Now I just need to convince Mr. Ballmer to
39.
by tpetricek 10y ago
What if the space you are searching is not a landscape with hills, but a maze? I'm not saying it is, but the metaphor that makes the post so strong is not particularly well-grounded. Maybe we programmers tend to think about life as hil
40.
by tpetricek 10y ago
I absolutely agree that the JS platform is large enough to have both! That said, I think doing a fair comparison is going to be difficult. Although OCaml and F# share the same background, I think the OCaml and F# communities care about quit
41.
by tpetricek 10y ago
I can confirm that the story of F# on the JS ecosystem is already quite good and is getting better every day. As already mentioned, Fable ( http://fable.io ) is the way to go today. I did two things that involve "writing comp
42.
The mythology of programming language ideas (2017)(tomasp.net)
5 points by tpetricek 10y ago|0 comments
43.
by tpetricek 10y ago
You can get some idea from the affiliated <Programming> 2017 conference call for papers: http://2017.programmingconference.org/track/programming-2017... I guess we'll see when more papers are accepted and ap
44.
by tpetricek 10y ago
I've been working on a project that makes data-driven reporting more transparent: https://thegamma.net , which might very well fit with the accountable news theme. Any feedback on how to make it better would be much apprecia
45.
by tpetricek 10y ago
People like to see logic and computing in this way and the author is a great storyteller. But it is a somewhat misleading perspective that is kind of similar to "Whig historiography" ( https://en.wikipedia.org/wiki&
46.
by tpetricek 10y ago
The article made me think of a recent book "The Invention of Science" almost immediately - turns out the book is mentioned as one of the references - which is well worth reading if you found the article interesting. It discussed t
47.
by tpetricek 10y ago
Giving "overview of the rest of the paper" that points out what will be happening in future sections is quite common in academic literature - there are better ways to phrase it (and many people writing academic papers, myself incl
48.
by tpetricek 10y ago
A Science of Operations by Mark Priestley ( http://www.springer.com/gb/book/9781848825543 ) This is cheating a bit, because the book is history of computer science rather than computer science, but I think anyone in
49.
by tpetricek 10y ago
If you'd like a longer read along the lines of this note, then you might enjoy Bruno Latour's Science in Action: https://www.amazon.co.uk/Science-Action-Scientists-Engineers... I found the book super interesting i
50.
by tpetricek 10y ago
I think the point was that Newton devoted a lot of time to things that are not optics, mechanics and mathematics - we do not remember him for the other things obviously, which is why it is rarely known, but: https://en.wikipedi
51.
by tpetricek 10y ago
The title is misleading in two ways. First, 60% does not sound like too much (makes you think that 40% agree) until you see that only 2% actually agree with it. Second, the question is not about UBI in general, but about a very specific pro
52.
by tpetricek 10y ago
Perhaps you're a minority, but you're not alone - I too think that the usual narratives around monads (and many other theoretical CS concepts) are quite harmful. Do not get me wrong - they can all be useful, but not when they are
53.
by tpetricek 10y ago
While it is great to see all those new features appearing in F# 4.1, the video gives a very narrow perspective on "what is new in F#" - it is a video about new language features in 4.1 and so this is to be expected - but if I was
54.
by tpetricek 10y ago
Not only we do not need HKT, we also do not need Profunctor Optics.
55.
by tpetricek 10y ago
If you wanted to create a version of F# that only allows pure functions, your best option is probably to modify the F# compiler (which is open source). However, that sounds like something that might not be all that useful. A more useful thi
56.
by tpetricek 10y ago
Both Assembler and Haskell target native code - what you can do with one you can achieve, perhaps more clumsily, in the other. The difference between the two ultimately comes down to syntax.
57.
by tpetricek 10y ago
Extracting data from Wikipedia with type providers: http://evelinag.com/blog/2015/11-18-f-tackles-james-bond/
58.
by tpetricek 10y ago
The book "Computer Boys Take Over" by Nathan Ensmenger ( https://mitpress.mit.edu/books/computer-boys-take-over ) is a useful reference here. It goes through the early history of computing discipline and discus
59.
by tpetricek 10y ago
For those interested in distributed, high-scale computing on .NET, I'd also recommend having a look at MBrace: http://mbrace.io/ MBrace supports F# and C# and is designed to work well in interactive scripting scenarios
60.
by tpetricek 10y ago
The OmniSharp work is mostly focused on C#, but if you are interested in F#, you should check out Ionide ( http://ionide.io ). It provides similar experience to OmniSharp, but has support for some other great tools used by the F#

More ›