chas

22 ms·

151.
by chas 13y ago
Homotopy type theory[1] is essentially working to show that math is (or can be viewed as) an interesting application of computer science. [1] http://homotopytypetheory.org/2013/06/20/the-hott-book/
152.
by chas 13y ago
The logo is nice, but the aliased angled lines really kill it for me. I think a vector (or better anti-aliased) logo would really make a positive difference in the feel of the site.
153.
by chas 13y ago
Reading through this book[1] was a really mind-expanding experience for me. It is an overview of the kernel and doesn't dive into any one part in depth, but it was extremely valuable for me in learning how to structure a large c project as
154.
by chas 13y ago
Corollary: think of the pain of looking up all of the flags get some UNIX tools to do what you want. Apply that to products too.
155.
by chas 13y ago
Right, they can fit so many cores on a chip because they are very optimized for one type of work (streaming vector math) and don't have things like branch-predictors that would make them good for general purpose work.
156.
by chas 14y ago
I think a lot of people would argue that composability is what "functional" code is really interested and many of the other things that are normally associated with it are actually side-effects of the emphasis on composition.
157.
by chas 14y ago
I brought up the TIOBE index not as an absolute metric but to show that Ruby and Python are not totally obscure languages and have usage similar to PHP. I think your "go into any web-dev shop" test fails for software of interest to develope
158.
by chas 14y ago
Would you mind elaborating on how Python and Ruby suck in ways that PHP doesn't? There are a bunch of PaaS providers that have free hosting for Ruby and Python projects if infrastructure and cost are a problematic for sroerick. They are bot
159.
by chas 14y ago
It is popular in video games already. http://en.wikipedia.org/wiki/Category:Lua-scripted_video_gam...
160.
by chas 14y ago
The Arduino hides a lot of its complexity through its libraries and software interface, but it is open source! This means you can learn a lot about embedded programming (that might be difficult to get from datasheets) from its source code.
161.
by chas 14y ago
I would buy it, if it was something that solved a problem in my life, but Arduinos are really big and expensive ($30) in comparison to the ATmega16U ($3). Including one really changes the nature of the product, especially for consumer goo
162.
by chas 14y ago
I was thinking about that as I was posting that, but I thought this was generating an in-depth discussion beyond "crime without a new perspective" so it was okay with me.
163.
by chas 14y ago
From the guidelines: "On-Topic: Anything that good hackers would find interesting. That includes more than hacking and startups. If you had to reduce it to a sentence, the answer might be: anything that gratifies one's intellectual curiosit
164.
by chas 14y ago
Same data, but sorted and formatted. Dance 74% Theater 67% Music 56% Art 49% Comics 46% Film & Video 41% Design 40% Food 38% Technology 38% Photography 3
165.
by chas 14y ago
I don't think you need to abandon the S. I think FSMs embody the core of functional thinking. Structuring your computation as a FSM splits your code into your current state and a combinatorial logic block that takes a current state and outp
166.
by chas 14y ago
I first learned about them from a digital logic perspective, so they were already very practical tools for me when I ran into them in my theory classes. One of the best free resources I can find in short order is the wiki article on them.
167.
by chas 14y ago
It's an additional hurdle (with quite a bit of a learning curve) that would get in the way of learning to code. That said I wouldn't be too surprised to see a learn $EDITOR the hard way book out at some point.
168.
by chas 14y ago
If anyone is reading this and wants to know what it means, this is the best resource I have found for people with some math knowledge who want to develop a practical knowledge of statistics. http://www.itl.nist.gov/div898/handbook/
169.
PHP as a First Language (j.qxlp.net)
3 points by chas 14y ago|0 comments
170.
by chas 14y ago
It's very common for malware (or other code that doesn't want to be reverse engineered) to be decrypting itself in the that initialization loop to generate the code that is jumped to. It is also very common for malware to use exception hand
171.
by chas 15y ago
I think they are doing the JSF in C++. Here are the coding standards. http://www2.research.att.com/~bs/JSF-AV-rules.pdf
172.
Open Your Mouth and You're Dead(outsideonline.com)
1 points by chas 15y ago|0 comments
173.
by chas 15y ago
3-d printing (I'm including SLS in this) is easier, cheaper, and safer. 3-d printers don't need to be nearly as rigid as machine tools and can be much lighter as a result. Machine tools have a limited set of operations because the cutter he