theaeolist

10 ms·

91.
Automatic Application Modernisation(danghica.blogspot.com)
9 points by theaeolist 7y ago|0 comments
92.
by theaeolist 7y ago
This could be standardised by the government if there is political will. Standard beer bottle, wine bottle, liqueur bottle etc. Non-standard bottle don't need to be banned, but surtaxed.
93.
by theaeolist 7y ago
Make it disposable. Make it from plastic.
94.
by theaeolist 7y ago
If you have a minimalistic language you have a similar problem. Instead of learning language features you will need to learn libraries. You cannot run away from complexity. The advantage of the language features of libraries will always be
95.
by theaeolist 7y ago
> I'd wager the true next generation programming languages will be ultra minimalistic languages, retaining only the essentials while not losing on legibility. This is a fashionable idea, but I don't like it. Minimalistic langua
96.
by theaeolist 7y ago
Would it be "a horrible idea" to include diagrams in code that implements a graph algorithm, or images in image-processing code?
97.
by theaeolist 8y ago
This may sound snarky but it's actually something I would really like to know: Are there any serious applications of planar graph theory?
98.
by theaeolist 8y ago
He died at 54.
99.
by theaeolist 8y ago
The conclusion of the post is, literally, that you don't need to understand monads. Not what the title sells.
100.
by theaeolist 8y ago
Structuring 1M line of code as one function or 1M functions is clearly equally absurd. What is the sweet spot? There must be an answer from psychology and/or information theory.
101.
by theaeolist 8y ago
While reading his rant I kept thinking it's a pitch for HOTT or Univalent Math. Many of the motivations are similar.
102.
Lufthansa sues customer for skipping flight(godsavethepoints.com)
2 points by theaeolist 8y ago|2 comments
103.
by theaeolist 8y ago
Or as Lewis Caroll puts it, through Tweedledee: "if it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic."
104.
by theaeolist 8y ago
You are confusing "excluded middle" (¬p⋁p) with "non-contradiction" (¬(p∧¬p)). The former is not valid in e.g. constructive logic, whereas the latter is a basic statement of consistency.
105.
Why is everything in US/UK so expensive?(techcrunch.com)
1 points by theaeolist 8y ago|0 comments
106.
by theaeolist 8y ago
It is particularly sad that many languages treat foreign function interfaces and remote procedure calls as unwanted, debilitated children. I can easily imagine a utopia in which software would plug together via function/procedure/
107.
If Silicon Valley’s unicorn bubble bursts, what legacy will it leave?(theguardian.com)
3 points by theaeolist 8y ago|0 comments
108.
by theaeolist 8y ago
This is because (deliberately or not) what the speaker often wants to communicate mainly is that they are smart. Getting everyone lost in the first five minutes is not a big problem, quite the opposite. I have seen young people who gave bri
109.
Elon and the collective(blog.piekniewski.info)
93 points by theaeolist 8y ago|71 comments
110.
by theaeolist 8y ago
The incompleteness result does not even mention "true" and "false". It says that "there are statements of the language of F which can neither be proved nor disproved in F." Whether those statements are true&#x2
111.
by theaeolist 8y ago
I think the author of the post makes a compelling argument that what you say is not true. Just the convenience of dictionary lookup and quasi-phonetic spelling should make learning English far easier for a native Chinese speaker.
112.
Graphical Async programming(medium.com)
4 points by theaeolist 8y ago|0 comments
113.
The Boom Hierarchy (1993) [pdf](citeseerx.ist.psu.edu)
10 points by theaeolist 8y ago|2 comments
114.
by theaeolist 8y ago
Some fashionable philosophers and futurologists share this view, but it is not backed by any new factual findings. To me the statement "the self is an illusion" is borderline oxymoronic: who is it that is having the illusion, if
115.
Zippers for non-inductive types(danghica.blogspot.com)
1 points by theaeolist 8y ago|0 comments
116.
'Human brain' supercomputer with 1M processors switched on for first time(manchester.ac.uk)
93 points by theaeolist 8y ago|117 comments
117.
by theaeolist 8y ago
When is a formal system a logic and when is it not?
118.
by theaeolist 8y ago
The little story at the very end of the article is ominous. If an airline wants to refuse boarding they can say "you are on the US no-fly list" because you can't easily check that you aren't -- unless you are willing to
119.
by theaeolist 8y ago
As a CS university lecturer, I acknowledge that there is little room for exploration, and the chance of being wrong, in most assessment schemes. Any mistake loses points and lowers the GPA, so nobody likes to make mistakes, however creative
120.
Mathematics as a domain specific language(github.com)
2 points by theaeolist 8y ago|0 comments

More ›