peaton

7 ms·

31.
by peaton 12y ago
Hmm, I'm getting a 500 error. What's up?
32.
by peaton 12y ago
I knew I was making a strong assertion when I mentioned function composition. I'm grateful for your feedback, but perhaps you could elaborate? I don't see why they have to be "very different". I think you called me on a
33.
by peaton 12y ago
> The literature relies on somewhat foreboding statements like “functions as first-class objects,” and “eliminating side effects. I personally find this view a little overbearing. In "lay programmer's" terms, functions as
34.
by peaton 12y ago
Hmm, I don't believe so. My prof went on about a group at Penn using dependent types to prove the security of server applications. But that is definitely an interesting paper too. Thanks for sharing!
35.
by peaton 12y ago
Ah, I see. That last bit is especially interesting. I would argue that there are many languages (and no reason they couldn't) act otherwise with regard to that second quote. However, the line between pure functional and not starts to b
36.
by peaton 12y ago
UPenn has a ton of really interesting work on extending the Haskell type system to support dependent typing. Some of the coolest pieces I've heard about had to do with guaranteeing the security of a server application through dependent
37.
by peaton 12y ago
That's a little vague, I think. Pure functional programming has no side effects. Isn't that as succinct & thorough as it gets?
38.
by peaton 12y ago
> In a functional language, you describe the problem to the computer, and it solves it for you. Isn't this the definition of a declarative programming paradigm? (I.e. SQL?)
39.
by peaton 12y ago
I don't mean to sounds skeptic when I say this: could you list some of the software (or teams) that use Erlang?
40.
by peaton 12y ago
Are there specific implementation models or areas or systems programming that favor (or have come to use more exclusively) Rust or Erlang?
41.
by peaton 12y ago
As someone fairly new to systems programming, I can still see why you'd want to pick a language like Rust over C. But can someone explain to me the difference between Rust and Erlang? They are both system languages, no? Erlang is much
42.
by peaton 12y ago
I know this was just released, but are there any open source projects that currently use this?
43.
by peaton 12y ago
Will do. Thanks for the pointer. Do you have any suggestions offhand?
44.
by peaton 12y ago
This is super helpful. The example with the multi-click stream is pretty impressive as a demo. Is anyone familiar with the Elm[1] language/library that compiles to JS? Does it facilitate good FRP practice? Or are there any better libra
45.
by peaton 12y ago
I see, great! That is exactly what I was looking for. Thanks!
46.
by peaton 12y ago
Could somebody explain what all the hype is about generators? Why is this better practice? Optimization, readability, what's up?
47.
by peaton 12y ago
I'm a little confused by the web page. Is there a link to an example of integrating/porting an existing app with this platform?
48.
by peaton 12y ago
The sense of depth in the logo is pretty incredible. In other news, does anyone know if there is a terminal client for Spotify?
49.
by peaton 12y ago
Ok, that was poorly worded. What I mean is that a linked list can be thought of as a restrictive graph. I'm just saying I'd prefer to think of it as a graph. I could still be wrong. Is that kosher?
50.
by peaton 12y ago
Sure, I stretched that too far. But hopefully the point is made. Then should we expect no students (or anyone) to be able to build a compiler (or os kernel) in any amount of time given the internet and whatnot? While I may be articulating t
51.
by peaton 12y ago
Nor is the 12 years thing particularly good reasoning... By that thought process, it took humans hundreds/thousands/millions of years to develop a compiler, so how can I be expected to develop one over the course of 4 years in col
52.
by peaton 12y ago
I could definitely be mistaken, but I don't see a difference between a linked list and a graph. They are two ways to represent the same thing. That being said, if he asked me to find cycles in a linked list, I might determine the adjac
53.
by peaton 12y ago
I completely disagree that this question is irrelevant. I can imagine this exact situation in compiler design where you have dependent types that can't have infinite loops (in pseudo-code where forward declarations are not needed or im
54.
Introduction to Microprocessors and Design
1 points by peaton 12y ago|0 comments
55.
by peaton 12y ago
I'm unfamiliar with Paint.NET. I'm sure this question gets asked a lot, but could someone summarize the main differences between Paint.NET and GIMP?
56.
by peaton 12y ago
FPGAs are definitely the way to go. They are cheap and reprogrammable. One awesome devboard is the Zedboard. It includes 2 (?) ARM cores and a 28nm FPGA.
57.
by peaton 12y ago
I am not an expert, but I am definitely thinking the same thing.
58.
by peaton 12y ago
Comic Book Guy looks pretty screwed up on Safari. What browser/os was this guy targeting?
59.
by peaton 12y ago
Online language exchanges can be a great way to meet people and work on a language you are not comfortable with. I use mylanguageexchange and I've met a number of Chinese grad students studying in the U.S. who are very shy because of t