timtadh

23 ms·

151.
by timtadh 13y ago
Actually, it is a pretty useful feature. I break my documents up into multiple files and can compile pieces of them together for different audiences. Want an executive summary of my research just build the abstract + a summary. Want to revi
152.
by timtadh 13y ago
My wife works in cell biology and worked with stem cells for the last several years. Differentiation protocols are very difficult. She was working on turning IPS cells into lung epithelial cells so she could study the effects of CFTR malfun
153.
by timtadh 13y ago
Yep: but fixing breaks the 4096 barrier: $ curl -s http://danlec.com/st4k | gzip -cd | sed 's/serif/monospace/' | gzip -9c | wc 14 94 4098
154.
by timtadh 13y ago
Right. I feel silly for not trying that. Good spot.
155.
by timtadh 13y ago
funny, his compressor must do a better job than mine: $ curl -s http://danlec.com/st4k | wc 14 80 4096 $ curl -s http://danlec.com/st4k | gzip -cd | wc 17 311 11547
156.
by timtadh 13y ago
> nothing that says any non trivial specification in any language is either complete or correct. Absolutely correct. In fact the larger the specification the more likely that the specification has a bug. > Tests _can be_ used as a _ki
157.
by timtadh 13y ago
If like me you haven't heard of this story here is some more background: http://tech.mit.edu/V134/N4/abelson.html . Still looking for some project information I will update the post when I find it. EDIT: eff
158.
by timtadh 13y ago
This was a great interview about selling a very complex product to a very difficult customer base (programmers). Someday, I want to start a developer tools company so it was cool to hear about the challenges they faced in getting started. M
159.
by timtadh 13y ago
1. I did provide a link to a slide deck of examples. 2. This is a well written about issue. 3. I do not consider my claim absurd if I did I would not have made it. 4. If you do not have experience writing significant amounts of code in a dy
160.
by timtadh 13y ago
I don't really feel I need to provide you with specific examples, they are already a google away. Try: "python vs java" or "why ruby" or similar. Experiment with programming in these languages and see what type of f
161.
by timtadh 13y ago
"intellectual laziness of dynamically typed languages" What a claim! What an absurdity! Dynamically type checked memory safe languages (eg. Python, Ruby, Javascript, etc...) enable styles of programming impossible in non-dynamical
162.
by timtadh 13y ago
I wish the pyramid project, http://docs.pylonsproject.org/projects/pyramid/en/latest/ , would get some more love in the larger community. It is a really great python web framework which gets a lot of th
163.
by timtadh 13y ago
The most effective way for coffee shops/cafes to discourage people working for long periods without driving that business away altogether is to not provide any outlets! A cafe I like to work at takes that approach and it seems to do we
164.
by timtadh 13y ago
perhaps it is related to this point, since that bug causes the algorithm to get "stuck". Why wasn't this bug caught in the FIPS 140-2 validation testing? - -----------------------------------------------------------
165.
by timtadh 13y ago
While you are right from a certain very point of view, a doctorate is really not the pinnacle in any sense of your life or your career. Nor is it meant to be. It is as the parent said the beginning of your career. The gateway into research.
166.
by timtadh 13y ago
You should always allow the user to get the raw HTTP request. Sometimes things just get funky and you need to drop down to that level. Abstraction is nice except when it isn't, if you understand my meaning.
167.
by timtadh 13y ago
The way I look at type systems is they are an automatic proof system for programs. So you must ask yourself what are you proving with your type system? I looked at your write up on the github issue and from what I see you are moving some ch
168.
by timtadh 13y ago
also: "Learn You a Haskell is now larger than LinkedIn"
169.
by timtadh 13y ago
In 1978 Time Sharing Machines refers to single machines with multi-tasking. ex. the terminal you are using right now. So you don't have to "wait in line" you have to share resources. Just like your web-browser shares resource
170.
by timtadh 13y ago
You really need to be careful how you implement the signing of these types of systems. I have broken several of these systems and extracted the secret key. If you can extract the secret key, you can essentially become anyone and do anything
171.
by timtadh 13y ago
Thanks for the link to that paper. Super interesting to see actual semantics for python come out. It would be nice if this leads to better tooling for analysis of the language. Currently, it is pretty hard to bootstrap anything for the lang
172.
by timtadh 13y ago
According to that one guy with that one list. I acknowledge that the top N passwords are X% of all user passwords. I sincerely question the 99.8% figure. The problem with doing studies like this is while we have some fairly big password dum
173.
by timtadh 13y ago
Japan has very few natural energy resources which is the main reason they embraced nuclear power in a big way. Otherwise, they would have to import many more tons of hydrocarbons.
174.
by timtadh 13y ago
> If your device or browser is compromised, you have bigger problems than someone subtly modifying your js runtime. It is trivial to compromise the browser context of the page. In the case of a browser bug another tab can interact badl
175.
Public Libraries : State of America's Libraries Report 2013(ala.org)
2 points by timtadh 13y ago|0 comments
176.
by timtadh 13y ago
How it works (from http://golang.org/src/pkg/runtime/cgocall.c ) 36 // The above description skipped over the possibility of the gcc-compiled 37 // function f calling back into G
177.
by timtadh 13y ago
I have a similar tool but it also manages shell environment variables, allowing you to jump around and/or switch working projects. You can check it out at: http://github.com/timtadh/swork
178.
by timtadh 13y ago
I mean that the distribution is very close to uniform. A uniform distribution is drawn a flat line when you graph it. (Inconstrast a normal distribution is a bell curve.) So when I say it is very flat I mean that it there is very little var
179.
by timtadh 13y ago
Not being any sort of expert I don't know how important their result is. They cite a couple of papers in which use AEP (Asymptotic Equipartition Property) to treat words drawn from IID distributions of letters as uniform. The paper I l
180.
by timtadh 13y ago
If you really want to understand this you should read the paper. However, I will try my best to summarize my understanding of what is going on. (Disclaimer: I am not a professional cryptographer, but I know something about crypto-complexity

More ›