smosher_

6 ms·

1.
“Propositions as Types” by Philip Wadler [video](youtube.com)
2 points by smosher_ 11y ago|0 comments
2.
by smosher_ 11y ago
It's because the generator recurses with: return fself(num - 1) + fself(num - 2); instead of calling fib (or fib_gen) explicitly. fself is passed into the generator and it will need to be passed in again and again. That's
3.
by smosher_ 11y ago
If you read the comment you'll see that I'm talking about different interpretations of memory safety. You can't just decide what it means in Rust applies to all languages, or that everyone knows what you mean. I was trying ha
4.
by smosher_ 11y ago
> My objection is that I see unsafe just for memory integrity. Either you think this way because of a sense of orthodoxy or because you think memory safety is important in a way the other kinds of safety aren't. I disagree, especial
5.
by smosher_ 11y ago
> They are abusing it, specially as workarounds for constraints that cannot be expressed in the type system. That doesn't sound like abuse to me, as long as the exposed interface remains safe. > some Rust devs are using it for an
6.
by smosher_ 11y ago
> new generations never heard of those languages and think C was the very first systems programming language. That's just it. Rust looks enough like C++ to catch on. This was not an accident though I can't say I'm jazzed a
7.
Specialize to reuse (inheritance-like patterns in Rust)(aturon.github.io)
2 points by smosher_ 11y ago|0 comments
8.
by smosher_ 11y ago
> To me, green threads are just an implementation detail. The fact that green threading is being used shouldn't leak into the interface. I think that mentality, which I supported, may be what ruined green threads for Rust. Perhaps t
9.
by smosher_ 11y ago
Blocking at the request level is where it's at: you don't download the content, you don't execute the scripts, you don't interact with the DOM. You block requests to third party servers or resources based on lists or oth
10.
by smosher_ 11y ago
That's a little extreme. I think most computations are best¹ written in a way that is amenable to mathematical treatment, and most of the useful ones can be. Just because a counter-example exists doesn't mean we should give up hop
11.
by smosher_ 11y ago
> Stuff like SmallTalk wouldn't be possible if programming was turned into math > and frankly I don't understand why mathematicians want to take over a completely different domain I would like to challenge the assumption her
12.
by smosher_ 11y ago
FYI the quote above refers to the develeoper/community response to criticisms/ideas (eg. see the comment I replied to), not the criticisms/ideas offered by newcomers.
13.
by smosher_ 11y ago
I don't know what it's like now. Rob Pike in particular made a lot of noise like this early on. There was a lot of parrotting of that, so it was hard to have a serious conversation. It seems like it's still getting play but I
14.
by smosher_ 11y ago
I think it's a canary. How many languages do you hear this said about? I've only heard it in regards to Go which is fairly pedestrian (read: looks and acts something like C / Java) as far as these things go. More exotic langu
15.
by smosher_ 11y ago
Fwiw I avoid writing both loops and recursion as much as possible. Collection data structures usually come with their own fold/map/etc functions, so this works well in practice.
16.
by smosher_ 11y ago
I posted this in another comment, but her github repo has a Ceptre implementation: https://github.com/chrisamaphone/interactive-lp/ There are details on getting the trace graphed in the tutorial. (If you want more
17.
by smosher_ 11y ago
I'm a big fan of this work. For the PDF-shy, there's some excerpted text on LtU: http://lambda-the-ultimate.org/node/5216 but you'll miss some of the goodies, like the graph of a scenario from Romeo and
18.
by smosher_ 11y ago
In case anyone is wondering which project this is: The concrete contribution of the research report here is the design and implementation of a fully compartmen- talized operating system, MINIX 3. To properly isolate faults
19.
by smosher_ 11y ago
^A in bash will go to the beginning of the line. I don't know if this is why tmux changed the key, but it certainly makes a bigger difference to me because I use that function a lot. I rarely press ^S by accident (less often than I pre
20.
by smosher_ 11y ago
The idea is you can write this: let _ = print_string "foo" let _ = print_string "bar" at the top level. Of course you can write let msg = "foo" in print_string msg let msg = "bar&quo
21.
by smosher_ 11y ago
Philip Wadler's paper Monads for functional programming is the first thing I read that made any sense. FYI this is the horse's mouth.
22.
by smosher_ 11y ago
Did you even read the article? The article's description of "beat" doesn't conflict with the musical term but yours does. In fact the article even relates beats to tempo and describes the results in terms of tempo. This
23.
by smosher_ 11y ago
I agree. The title is downright bizarre until you realize the article is consumed more by JS idiosyncrasies than about the OCaml modules.
24.
by smosher_ 11y ago
Sure, no prob. BTW, if you're interested, you might want to drop by http://operator-1.com/ which hosts the (unofficial) forums. The Teenage Engineering staff are known to browse and even make posts once in a blue moon.
25.
by smosher_ 11y ago
> Mind me asking what you use? :) I find gear lists distasteful so I won't go into much detail about most things, but I will give you an idea of what I have going on. The thing I mentioned in the post is the OP-1: https:/&#x2F
26.
by smosher_ 11y ago
> I'm not criticising your preference for using hardware, that's your call. Some people still like to use vinyl, and I guess that's pretty cool. The sound is incredibly hard to get right in some cases. You can simulate vin
27.
by smosher_ 11y ago
I got yelled at by a teacher for this in the '90s. I used the command line to access things that weren't presented in the login shell's menu. Since the system had permissions which explicitly granted me the right to access ot
28.
by smosher_ 11y ago
Take for example this technique: https://youtu.be/ljMePAmmxx4 Around 2:10 he mentions "you can actually set it for project as well" which is a lot closer to what's being done in this case. Blender has to solv
29.
by smosher_ 11y ago
FYI hydrographic printing isn't new... nor is the computational part to be honest. I assume both of these techniques have been used together before, but what we are seeing here is both: very well done, and: using off-the-shelf componen
30.
by smosher_ 11y ago
Yeah, that was the thing that impressed me most, too.

More ›