krcz

11 ms·

61.
by krcz 7y ago
I don't think the issue here is requiring the matrix coefficients to be real (I don't think that complex values make sense there at all), but allowing arbitrary real numbers. In such case you can show algorithm, for which there ex
62.
by krcz 7y ago
you could have mix of assertions and proofs, obtaining something that you could call gradual verification - you wouldn't have to prove everything from axioms, you could base on assertions. the difference from asserts and unit testing i
63.
by krcz 8y ago
In such case I highly recommend Noether: Symmetry in Programming Language Design presentation by Daira Hopwood: https://www.infoq.com/presentations/noether . It explores the idea by describing a possible stack of sublan
64.
by krcz 8y ago
Languages I'd like to write: * a language with a mix of contracts and refinement types: encoding preconditions and postconditions in types of input and output values. this way one can match postconditions of one function and precodniti
65.
by krcz 8y ago
I believe CTRL-Labs took over that goal and is actively pursuing it: https://www.ctrl-labs.com/
66.
by krcz 8y ago
> any continuous function is can be approximated via a taylor series expansion We can get a good polynomial approximation of any continuous function but just on bounded set. Wouldn't such assumption (restriction of activation functi
67.
by krcz 8y ago
As far as I know psychopathy is most often connected to Antisocial Personality Disorder – up to the point of fusing these two terms – which has clear definition in DSM.
68.
by krcz 9y ago
But still there are parts where mathematics is in use, as analogue filter design. I'd love to see something focused on that parts, but I'm afraid that there might be nothing like that.
69.
by krcz 9y ago
I have a related question, so I'll piggyback: does anyone know a book or some materials on electronics for people with mathematics background? Where not only methods of computations and formulas are given, but also explanations/de
70.
by krcz 11y ago
https://twitter.com/merylnet/status/703079627288260608
71.
by krcz 11y ago
Wouldn't player be able do become invincible any time they want by covering the "inceptor" with their hand (with some distance between so occlusion can't be detected using light detectors)?
72.
by krcz 11y ago
Programming by modifying ASTs sounds very interesting and I really like Lamdu examples. I see, however, many problems, as not being able to introduce even slightest modification to the code using terminal, not being able to use textual tool
73.
by krcz 11y ago
Scala version can be written as one-liner as well; losing readability, but it might be ok for fast hacking / prototyping: article.author.flatMap(_.address).flatMap(_.city).map(_.toLowerCase).foreach(println) And in for-comprehension ve
74.
by krcz 11y ago
How advanced is the Structured Streaming functionality? Looking at the JIRA [1] I cannot find even design prototype there, which is kind of strange if they want to have it ready by end of April. But as there was a presentation on the topic
75.
by krcz 11y ago
It might be an interesting idea to use similar algorithms to create vector plots in scientific PDF documents, instead of having embedded raster images that don't scale well.
76.
by krcz 11y ago
If someone has an irrational fear that can pose harm to their child (or other children), the person should do something about it. Never letting a child to play with others, based on the fear that something might happen to in wouldn't b
77.
by krcz 11y ago
Isn't it supposed to be 6000 (4k before Christ and 2k after)?
78.
by krcz 11y ago
Unfortunately that is something regular non-dev user doesn't care about much. And such users make most of the customers. I can only hope that Vulkan will change the game a little bit, so shader hacking won't affect perceived perfo
79.
by krcz 11y ago
> If we solve NP-complete efficiently then we may break TSP and all sorts of magical optimisation problems joyously drop out of the sky at our feet. It is not clear if this would also break integer factorisation and thus RSA, but perhaps
80.
by krcz 11y ago
It allows you to change the data and group elements into new ones (existing in the data but not in DOM), updated (existing both in the data and DOM) and removed ones (only in DOM). Then it lets you to do some cool stuff on them, like trans
81.
by krcz 12y ago
Covariance - dot product. Variance - squared norm. Correlation - cosinus of the angle between vectors.
82.
by krcz 12y ago
I would love to see a low-spec laptop with detachable keyboard with some Linux desktop environment when the keyboard is connected, switching to Sailfish OS when used in tablet mode. If it had long battery life and had good support of additi
83.
by krcz 12y ago
I can see irony here, as defined in Merriam-Webster dictionary: > 3 a (1) : incongruity between the actual result of a sequence of events and the normal or expected result (2) : an event or result marked by such incongruity b : incong
84.
by krcz 12y ago
Great project. Like more complex version of 99 Bottles of Beer for the client side web apps. I wonder why Om version has not been submitted though: http://swannodette.github.io/todomvc/labs/architecture-examp...
85.
by krcz 12y ago
Also at 0:04, the guy in glasses. It seems to be quite thick for a phone though.
86.
by krcz 13y ago
Why do they disallow targetting people in open relationships?
87.
by krcz 13y ago
Considering there's just AppStore logo at the bottom, I don't think they are releasing Android version together with iOS one.
88.
by krcz 13y ago
I agree, but I don't find it obvious if following (adding to circles) someone on Google+ is a form of communication at all.
89.
by krcz 13y ago
I believe Spark [1] might take the place of Storm as it unifies streaming and batch processing. [1] http://spark.incubator.apache.org/
90.
by krcz 13y ago
Does it mean if(1 + 1 == 2) is equivalent to if(1 + true)?

More ›