chas

19 ms·

121.
by chas 13y ago
The last paper mentioned is likely one by Sapna Cheryan. She gives an overview of her work on stereotypes, identity, and computer science on her homepage[0] as well as links to relevant papers. [0] http://faculty.washington.edu&#
122.
by chas 13y ago
I have had similar experiences with Kivy. I previously developed a simple game with PyMT[0] relatively easily, so I was very excited when Kivy came out. I had another project requiring multitouch support on a PC recently and decided to use
123.
by chas 13y ago
You might be interested in tangible functional programming, which aims to bring useful composition to GUI programs. http://conal.net/blog/posts/tangible-functional-programming-...
124.
by chas 13y ago
Taking pure to mean referentially transparent, I'm not sure I understand your point here. If you are mutating a statically allocated struct or array passed by reference, doesn't that have a very similar effect to global variables?
125.
by chas 13y ago
Coq isn't based on HoTT, however, the people working on HoTT use a modified version of Coq in conjunction with a library that contains the essential elements. https://github.com/HoTT/HoTT
126.
by chas 13y ago
I am not a mathematician and I can't speak to the likelihood of a mathematical revolution, but as a programmer with interest in theoretical computer science and I found the HoTT book to be extremely useful. Prior to last year there wer
127.
by chas 13y ago
Every time Douglas Engelbart is in the news, I reread Bret Victor's reminder of his goals. http://worrydream.com/Engelbart/
128.
by chas 13y ago
GPUs have been used effectively in implementing graph algorithms. Graph algorithms are tremendously useful and show up all over computing. http://arxiv.org/abs/1002.4482 http://citeseerx.ist.psu.edu/vie
129.
by chas 13y ago
You might also be interested in CMU's introductory curriculum in the same vein which is somewhat less extreme and has a particular focus on parallelism as the standard case of computing. http://existentialtype.wordpress.com&
130.
by chas 13y ago
That is a function that takes a starting parameter and returns a pair with the length of the sequence as the first element and the starting value as the second element. This is mapped over a list of integers from 1 to max_a0 to find the len
131.
by chas 13y ago
The processor chip itself is designed as a DFA (as is very common in digital logic design though EEs prefer the term finite state machine or FSM). These slides do a good job of explaining this perspective on digital design. [1] It becomes m
132.
by chas 13y ago
A PC can still read and write from arbitrary memory locations which means it can know a lot about it's past states, so the memory limit makes it a deterministic linear-bounded automata. http://en.wikipedia.org/wiki&#x2F
133.
by chas 13y ago
Another way of saying this is that the two stacks as a list zipper[1], which makes the correspondence between a DFA with arbitrarily writable memory and a DFA with two stacks readily apparent. [1] http://en.wikipedia.org/wiki
134.
by chas 13y ago
Not really. Haskell is basically used as a compiler from a DSL to C. Compilers running on general purpose systems are much less sensitive to timing and memory use than embedded systems and kernel drivers, so it isn't that big of a deal
135.
by chas 13y ago
Absolutely! I am very interested by their approach in this area because integration with existing infrastructure is essential for practical work in this area, but reasoning about existing infrastructure is a lot harder than it needs to be.
136.
by chas 13y ago
This is really neat, but I am very wary of building kernel modules with garbage collected languages especially ones like Haskell, which can has very difficult to reason about runtime characteristics due to laziness. One approach that I find
137.
by chas 13y ago
Most likely things like version control, static analysis, dynamic analysis (e.g. Valgrind), automated testing, and code review. The Joel Test[0] is a good starting place. [0] http://www.joelonsoftware.com/articles/fog000
138.
by chas 13y ago
Many software developers don't work with FOSS technology at work. I work in embedded systems and much of the library code I work with has been provided by manufacturers of the devices I'm using. I do find bugs in it and report fix
139.
by chas 13y ago
This doesn't help in quite the way you would like, but the recursion limit is adjustable through sys.setrecursionlimit [1]. [1] http://docs.python.org/2/library/sys.html#sys.setrecursionli...
140.
by chas 13y ago
It is important to note here that that many automakers allegedly demand extremely high quality code from themselves. The MISRA C standard [1] is widely used as a guide for high quality embedded code in many industries and was developed by t
141.
by chas 13y ago
The basic idea is that it is possible to transform a signal without loss of information from being some value vs time (so called time-domain signals) to being a bunch of different frequencies with different intensities (so called frequency
142.
by chas 13y ago
You might know this, but I want to state it at least for the benefit of people reading this without much signal processing experience. Just zeroing like that really isn't the best idea. Square waves (that are 1 for signals that you wan
143.
by chas 13y ago
If you want low-overhead pseudo-concurrency for C, protothreads [1] are probably what you are looking for. [1] http://dunkels.com/adam/pt/
144.
by chas 13y ago
The programming language trolling in the article is building a language with strong static types controlled entirely by naming convention, specifically hungarian notation, rather than normal type declaration. http://en.wikipedia.
145.
by chas 13y ago
That is the first line of Anna Karenina : "Happy families are all alike; every unhappy family is unhappy in its own way."
146.
by chas 13y ago
Total functional programming (and the associated analysis of codata has already been touched on), so I'll just address your interest in static guarantees for space usage. The Virgil programming language[1] has been designed with exactl
147.
by chas 13y ago
I have heard good things about the Apache Portable Runtime [1], GLib [2], and Sglib [3] if you want something a bit more stripped down. [1] http://apr.apache.org/ [2] https://developer.gnome.org/glib/2.
148.
by chas 13y ago
Bret has previously given a talk[1] that addresses this point. He discusses the importance of using symbolic, visual, and interactive methods to understand and design systems. [2] He specifically shows an example of digital filter design th
149.
by chas 13y ago
Never and ten years[1] feel pretty similar in month two. [1] http://norvig.com/21-days.html
150.
by chas 13y ago
He's playing fast and loose with the formalisms to try to convey the intuition to people without a strong algebraic background. Ruby isn't very well behaved from a categorical perspective (heck, even Haskell doesn't get all o

More ›