icc97

8 ms·

31.
Formality, a language combining formal proofs and optimal reductions(reddit.com)
3 points by icc97 8y ago|0 comments
32.
by icc97 8y ago
> I want my kid to develop skills of interacting with the physical world and with physical people. I came across a fascinating BBC article on treating ADHD with music [0] > "The ability to time, to synchronise with others underli
33.
Formally Verified Software in the Real World (2018)(cacm.acm.org)
186 points by icc97 8y ago|17 comments
34.
Family Tree of Economics(pc.blogspot.com)
55 points by icc97 8y ago|34 comments
35.
DeepTraffic: Crowdsourced Hyperparameter Tuning for Dense Traffic Navigation(arxiv.org)
1 points by icc97 8y ago|0 comments
36.
Release 1.0(sbw.org)
2 points by icc97 8y ago|0 comments
37.
StCUDA: Smalltalk CUDA library(github.com)
2 points by icc97 8y ago|0 comments
38.
Community-based, human-centered design(jnd.org)
45 points by icc97 8y ago|9 comments
39.
User-defined functions in Excel (2003)(microsoft.com)
1 points by icc97 8y ago|0 comments
40.
by icc97 8y ago
> Erlang with its active objects seems to me to fit precisely his description. He's said exactly this [0]: > We didn’t even do all of the idea at PARC. Many of Carl Hewitt’s Actors ideas which got sparked by the original Smalltal
41.
by icc97 8y ago
I was quite amazed that this wasn't the case. OCaml clearly is working on it - http://ocamllabs.io/doc/multicore.html Plus there are monadic ways of handling concurrency with lwt.
42.
by icc97 8y ago
Annoyingly that 40% figure is almost impossible to find, it's from a survey done by a Guide Dogs charity in the UK but their own page on it [0] now just refers to it and doesn't link to the original report. [0]: https:/&#x2F
43.
by icc97 8y ago
I was being followed on my bicycle by an almost entirely silent hybrid driving on electric power. It really is quite freaky when you know it's behind you and can see it in your peripheral vision when you turn your head but can't h
44.
by icc97 8y ago
This reminds me of G. Polya's book "How to Solve It" [0], there he talks about the process that teachers can go through to get students to think through problems. But more than that it's trying to build in a habit, so th
45.
by icc97 8y ago
I've been reading a stark comparison recently, ReasonML vs MDN. I realise this is unfair as MDN has had much more resources and time and the ReasonML docs are a straight copy of the OCaml docs, but compare the Reason List.map [0] vs MD
46.
by icc97 8y ago
Some of the photos of the camp [0], a blog post about the death of the activists [1]. From what I understand there was a very heavy police presence for the eviction [2]: > In Chemnitz, 560 police officers were used to contain 2500 Neo-Na
47.
by icc97 8y ago
You do realise that the Black Forest spans an area of 6,000km^2 that varies from 70-90% forest? [0] [0]: https://en.wikipedia.org/wiki/Black_Forest#Work_of_the_Insti...
48.
by icc97 8y ago
It's becoming less obscure, F# (.net), Elm and Reason (JavaScript) are bringing ML to a wider audience. Plus Jane Street do a great job of promoting the use of OCaml.
49.
by icc97 8y ago
In Dan Abramov's excellent egghead redux course [0] he implements the `createStore` from scratch which is the core of redux, it's simple enough to post here: const createStore = (reducer) => { let state; let listene
50.
by icc97 8y ago
It's at the top of the thread [0]: > All of Office 365 is (almost finished) being completely rewritten in this little scripting language called #JavaScript. [0]: https://twitter.com/TheLarkInn/status/100674
51.
by icc97 8y ago
That second link you gave puts it very well: > In other words, if a tree’s branches were folded upward and squeezed together, the tree would look like one big trunk with the same thickness from top to bottom. Absolutely fascinating!
52.
by icc97 8y ago
Yes, it will be cross platform, it's all part of the move of Office to React, see this whole Twitter thread [0] from Sean Larkin: > And here's ReactXP which is baked in to Skype (consumer) to make it possible to ship cross pla
53.
by icc97 8y ago
You don't have to, it's for French government employees who have no other choice. However it's easier to trust an open source government OS than a closed source one.
54.
WebPPL: Probabilistic Programming for the Web(webppl.org)
3 points by icc97 8y ago|0 comments
55.
by icc97 8y ago
I worked at a company for a few years then moved overseas and went freelance for them then. Also at the same time started working for friends who had a promising startup.
56.
by icc97 8y ago
Switched about a month ago. Mostly ignored by the people in a relatively small office although they weren't on my direct team. Could use my own laptop and all desks are hot desks as people can choose where they work on a daily basis. G
57.
by icc97 8y ago
My personal opinion but this is purely because I enjoy it the most is functional programming. So much of the positive changes I've seen of late come through functional programming. For example: * ReasonML - this is what the founder of
58.
by icc97 8y ago
If it's open source they could use algolia.
59.
by icc97 8y ago
Excellent set of links, plus I love the simple UI.
60.
by icc97 8y ago
Doesn't the downside kind of outweigh the upside?

More ›