jpcooper

12 ms·

121.
by jpcooper 6y ago
I agree that deep learning is not programming, and that maybe the title of the post is wrong. However, I agree with the sentiment of the article. The contexts that both operations are carried out in are closer together than the context of e
122.
Implementing a Simple Proof Assistant and Type System (Mathematica)(community.wolfram.com)
1 points by jpcooper 6y ago|0 comments
123.
by jpcooper 6y ago
I came across an interactive debugger for Haskell in a talk about someone's PhD research a few years ago where it was possible to traverse the graph and interactively eliminate possibilities. Could anyone tell me what the name is?
124.
Haskell Object Observation Debugger(ku-fpg.github.io)
5 points by jpcooper 6y ago|1 comments
125.
by jpcooper 6y ago
Going by the operationalistic idea of the article, which I interpret as duck typing, I think the key operations that can be applied to programmes are building them, running them, and measuring the build and results of the programme with res
126.
by jpcooper 6y ago
I don't know why you were downvoted, but I am interested in maybe the simpler case of computer-assisted programming. It doesn't necessarily have to be natural language input. Anything that can help debug compiler errors or debug p
127.
Tacit Programming (APL)(aplwiki.com)
3 points by jpcooper 6y ago|0 comments
128.
by jpcooper 6y ago
I was referring to "If I believe that all Europeans are brothers" in the parent comment. I have not experienced that sentiment. I certainly never experienced pan-European nationalism until I came across that website.
129.
by jpcooper 6y ago
Gaming laptop.
130.
by jpcooper 6y ago
These two concepts are part of a wider network. The measures of those concepts alone closely correlate. It is difficult to think about one without thinking about the other. I am not blaming the system as a whole. It just is. I was more taki
131.
Is deep learning a new kind of programming?(tomasp.net)
94 points by jpcooper 6y ago|60 comments
132.
by jpcooper 6y ago
Yes. Interests of one player may correlate positively with those of others.
133.
by jpcooper 6y ago
I agree that it's hard to measure. The word "brotherhood" has certain connotations for me. The first result on Google for "European Brotherhood" confirmed my feelings, but maybe doesn't speak for the majority.
134.
by jpcooper 6y ago
Yes, jumping university and country for a year to get paid by the EU for boozing and schmoozing has a definite draw for a lot of Europeans. Why shouldn't it? Foreigners are also at an advantage when it comes to finding a not necessaril
135.
by jpcooper 6y ago
How are they commonly implemented?
136.
From Functional to Reactive – Patterns in Domain Modeling (2015) [video](youtube.com)
1 points by jpcooper 6y ago|0 comments
137.
by jpcooper 6y ago
Money is possibly too narrow a term. I should have said national interests instead. In our current system, however, national interests also seem to strongly correlate with money and thus economic power. Each of the participants in the EU pr
138.
by jpcooper 6y ago
I have found that free travel in the sense of going somewhere to live is done generally for economic purposes. I have done it and benefited from it myself multiple times. Some existing residents might complain about jobs going missing, othe
139.
by jpcooper 6y ago
Thanks for the explanation. That puts a different spin on things. Geopolitical harmony as a defence against other external powers. I've focussed on the economy, but what I should have said is national interests.
140.
by jpcooper 6y ago
Also worth watching is the MP. Mr. Alan B’Stard’s case for Brexit (from the sitcom The New Statesman). https://youtu.be/xeiGLSy-1zU
141.
by jpcooper 6y ago
There seem to be fair economic arguments either way. I am undecided on Brexit either way. I haven’t researched it enough. My point is more abstract: A lot of people forget the underlying economic motives of all countries in their interactio
142.
by jpcooper 6y ago
Again, someone has possibly lost economically. That problem can compound. That’s fine. Simply allow everyone to have their say without moralising too much. Edit: without forgetting the underlying economic motives of all parties, in which mo
143.
by jpcooper 6y ago
Fair enough. If that is the case, both sides win. I took issue with the claim that the UK was just in it for the money, without mentioning that everyone is. How could it be any different? This argument has been a common theme I’ve noticed i
144.
by jpcooper 6y ago
I don’t agree with your argument. Is there really any country in the EU which is not in it for the money and security of its citizens alone? What other motive would a country have to be in the EU, barring ostensibly moralistic arguments, wh
145.
by jpcooper 6y ago
Let's see what codegolf comes up with. Link above.
146.
by jpcooper 6y ago
Are you sure you can’t do this with a linear programme? Surely there is a way to encode the line choices, the partitions they create and the number of dots within those partitions as a linear programme. Might be fun to try. Edit: Outsourced
147.
by jpcooper 6y ago
Really enjoyed the game. One feature which would be nice: extend line segments to the whole plane. Right now, only partitions created by the line segment alone are counted, so even if you begin a line ‘before’ a dot but inside an island whi
148.
by jpcooper 6y ago
Can always talk to yourself if you’re on your own. Maybe get a rubber duck so it’s less weird.
149.
by jpcooper 6y ago
Amen. I went to my first and last Counter Strike LAN party back in 2007. A fond memory. Most of what you described happened, apart from the gamer girls bit. The defining map of that period was dust. In 2002 and 2003 I’d go to the local Inte
150.
by jpcooper 6y ago
I replied prematurely. It definitely looks like we’re in the same boat regarding programming style. I wonder whether I can apply this with measurable results. It would be nice if it were easier to compare your completion time with others on

More ›