edejong

57 ms·

601.
by edejong 9y ago
Thanks, enjoyed reading that. I thought in similar lines, but never wrote it down.
602.
by edejong 9y ago
Math, at least applied math, is not the goal, but the method. Programming neither is the goal, it is the method. Understanding that both are language to express the path is of the essence. The XML as a vessel of human-knowledge is limited.
603.
by edejong 9y ago
The reason to use formal systems is to be able to reason about larger, more complex systems. Our brain is rather limited and to empower ourselves, we've found the divide and conquer approach. For that to work, we need assurances that o
604.
by edejong 9y ago
The same is true for math. It is the same thing, because of the Curry-Howard isomorphism. The reason for all the confusion is that programmers are already doing math. They just don't realize it and reinvent the wheels invented by the m
605.
by edejong 9y ago
Simple: observe a kid running before he gets used to padded shoes. That's the natural way of running and is similar to experienced runners.
606.
by edejong 9y ago
That's an amazing project. You probably agree that it's extremely important that we own and control our own data and make it easy through OSS to manipulate and enhance it.
607.
by edejong 9y ago
A lot of these visualisations would benefit greatly by using 2d or 3d kernel density estimates instead of a simple scatter plot. See for example: https://youtu.be/Xz_7Ej6JsMY
608.
by edejong 9y ago
Interesting project. I am not bio-hacked, except for a Pebble watch with HR / movement sensors which I send to InfluxDB. I use Grafana, but for some graphs (especially when I want to see weekly trends), I use R + influxdbr. Here is a s
609.
by edejong 9y ago
That makes it pretty useless. You can't sign or decrypt an AES key, no display. I'm even more convinced that the bio-hacking is nothing but a badly thought out fad.
610.
by edejong 9y ago
Use a four-digit pin that's by the users choosing. Works like a charm, totally water-proof and cannot otherwise inadvertently be retrieved. Also keeps brain-dead people out of the pool.
611.
by edejong 9y ago
What time-series graphing tools do you use? Grafana? R with influxdbr?
612.
by edejong 9y ago
Thanks for this interesting write-up on AST-based editors. Smalltalk has some of these ideas, and you might want to have a look at TexMacs (even though the project is abandoned). Like you, I feel that linear text-based editors are severely
613.
by edejong 9y ago
I'm normally using Optima when working on Retina displays (because of serif typeface). Screenshot [1] of some old project for solving Project Euler problems (no solutions can be found in the screenshot). [1] http://imgur.com
614.
by edejong 9y ago
Apparently I'm one of the two users of proportionality spaced fonts for coding. I've used this now for five years and I don't understand why developers still see this need to code as if monospaced terminals is all that's
615.
by edejong 9y ago
That's what you can do with Coq. I can implement a reference interpreter and an optimized compiler and prove that the behavior of all possible programs are equivalent in both environments. This is, what I assume, the long-term target o
616.
by edejong 9y ago
Most of all, because if you can prove that two queries are equivalent in behavior, you are close to proving that one DBMS has the same behavior as another DBMS for all possible SQL queries. And then you ask: Why? Well, if you can prove two
617.
by edejong 9y ago
The point I was trying to make is that apricots and Snickers have both been engineered (both by humans and nature) to contain maximum sugar levels with minimum fiber content (plus to be grown as quickly as possible). There are other fruits
618.
by edejong 9y ago
Aha, that's an interesting position and one I completely agree with. It points to the core of the matter: It lifts the individual food-items towards a more socioeconomic, structuralistic philosophy of society. Eating the Snickers bar i
619.
by edejong 9y ago
Vitamin S? You mean steroids? It's very difficult for a person eating normally to not get enough of their daily vitamin intake, so please specify the type.
620.
by edejong 9y ago
Except that it has been selected over centuries for minimal fiber content. Quick Google search: apricots and Snickers both have 2% fiber content.
621.
by edejong 9y ago
"Eating dirty is theoretically possible". I think you mean "hypothetically", unless you have some references to scientific research?
622.
by edejong 9y ago
What makes the fructose in your (selected for top sweetness over hundreds of generations) apricot so different from the fructose in the sucrose of your Snickers bar?
623.
by edejong 9y ago
You live in a world where you can trust police, however you're not in the right country. In most western european countries, the police is actually very reasonable. There are bad apples, for sure, but it's the exception, not the r
624.
by edejong 9y ago
Well, technically you could write `val opt: Option[Int] = null`, but I've never seen it used and would seriously consider sending the author back to a course Scala for Dummies. It's interesting how many bugs can be found by static
625.
by edejong 9y ago
This sounds so familiar. Some 6 years ago, I joined a team of engineers developing a large (1.5M LOC) classic java/spring/hibernate application for administration in higher education. The software was buggy and loads of time was w
626.
by edejong 9y ago
I can leave it at home or buy a phone that has hardware validation processes to ascertain its correctness when turned off (or the transmitter system is disabled). I could put the phone in a Farraday cage or selectively raise the noise level
627.
by edejong 9y ago
It's interesting to note that a layered dependency architecture is nothing new. As a matter of fact, it was one of the fundamental design decisions of the 1968 THE Operating System [1], on which Edsger Dijkstra had been programming and
628.
by edejong 9y ago
Goto statements capturing the state. A normal 'goto' makes reasoning of program state difficult precisely because it mixes state and program flow.
629.
by edejong 9y ago
User changes small element of '100% confident' data-set followed by a regression to the mean. This sounds like an over-fitted model to me.
630.
by edejong 9y ago
Yes, a zero-day is no excuse for a lack of defense in depth.

More ›