wcrichton

11 ms·

61.
Partial Function Application as a Design Pattern(willcrichton.net)
3 points by wcrichton 8y ago|0 comments
62.
by wcrichton 8y ago
Does this permit Bayesian inference? e.g. looks like graphical probabilistic programming (hooking up various distributions and performing inference), except the key missing component is the ability to observe values for any given distributi
63.
by wcrichton 8y ago
For those who want to learn more, I wrote an extended, accessible introduction to session types (predicated on a little knowledge about PL metalanguage syntax, e.g. BNF grammar) here: http://cs242.stanford.edu/lectures/
64.
by wcrichton 8y ago
Typed literal macros [0] are a principled way of integrating these kinds of mini-languages into a bigger general-purpose language. [0] https://github.com/cyrus-/relit
65.
Relit: Typed Literal Macros for Reason(github.com)
123 points by wcrichton 8y ago|17 comments
66.
Naming Conventions That Need to Die(willcrichton.net)
7 points by wcrichton 8y ago|0 comments
67.
by wcrichton 8y ago
Lua is a big reason why I'm interested in both systems and PL today. I started using Lua to build game mods in high school, and I was struck by how simple it was compared with Java, or even Python that I had tried learning earlier. The
68.
by wcrichton 8y ago
Some specific resources for the interested: - Cognitive Dimensions of Notations (Green 1989) http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.128... - Programmers Are Users Too: Human-Centered Methods for Impro
69.
by wcrichton 8y ago
I would call that Resistance (or Avalon, Mafia, etc.). A social/trust/betrayal-oriented party game that's playable in less than an hour.
70.
by wcrichton 8y ago
Except, WebAssembly isn't even close to Javascript. They're completely different languages. WebAssembly is closer to C than to Javascript.
71.
by wcrichton 8y ago
Strongly recommend Types and Programming Languages [1]. I think it's the most useful + accessible book on type theory out there. [1] https://www.amazon.com/Types-Programming-Languages-MIT-Press...
72.
The Inanity of Programming Language Benchmarks(willcrichton.net)
1 points by wcrichton 8y ago|0 comments
73.
“Do What I Mean”: Name Resolution in Programming Languages(willcrichton.net)
36 points by wcrichton 8y ago|8 comments
74.
by wcrichton 8y ago
For reference, this was a course project done in my class at Stanford (CS 242: Programming Languages) last fall, not a peer-reviewed publication. Overall a great project. The title is a bit general, but the goal was to identify what resourc
75.
by wcrichton 8y ago
Ah, my mistake. Clarified the wording, thanks.
76.
What Is Systems Programming, Really?(willcrichton.net)
248 points by wcrichton 8y ago|87 comments
77.
Ask HN: What's your programmer origin story?
3 points by wcrichton 8y ago|0 comments
78.
by wcrichton 8y ago
The phrase "most engineering PhD's are bogus" is astoundingly ignorant of the excellent work that goes on in the systems community (assuming by "engineering" you're referring to application-oriented CS research
79.
by wcrichton 8y ago
Part of what this reveals is the intimate relationship between querying and labeling. A query (in the SQL sense) is the human attempting to express a domain concept through a program. Here the queries have an imperative flavor (being writte
80.
The Future of Notebooks: Lessons from JupyterCon(willcrichton.net)
353 points by wcrichton 8y ago|154 comments
81.
by wcrichton 8y ago
It stops at the product, no? It seems more acceptable to target advertisements for toys than housing.
82.
by wcrichton 8y ago
Note that if you use open source models, it’s orders of magnitude cheaper. In my own tests, an off the shelf face DNN-based face detector [1] ran at 20 FPS on a 16 vCPU machine (Google Cloud). With our hand-rolled distributed execution engi
83.
by wcrichton 8y ago
Can anyone in robotics/drones speak as to how far away we are from Slaughterbots? [1] [1] https://m.youtube.com/watch?v=HipTO_7mUOw&vl=en
84.
by wcrichton 8y ago
Arguably parser combinators satisfy the author's requirements, e.g. https://github.com/Geal/nom/
85.
by wcrichton 8y ago
https://adamdrake.com/command-line-tools-can-be-235x-faster-...
86.
by wcrichton 8y ago
I’m a PhD student focusing on large scale video analysis. It’s an unfortunate fact that a lot of the applied research in this space is motivated by surveillance, particularly in systems, eg what’s come out of Microsoft’s efforts here [0]. A
87.
Idioms of Dynamic Languages(willcrichton.net)
28 points by wcrichton 8y ago|7 comments
88.
by wcrichton 8y ago
Sure, agreed that they aren't literally adjacent in the struct. My broader point is just that there's a level of indirection which is abstracted over by the Deref trait.
89.
by wcrichton 8y ago
Another important detail around pointers in Rust: it's common for "smart pointers" like reference counting (std::rc::Rc in Rust, std::shared_ptr in C++) and even boxes to be structs that contain pointers plus other informatio
90.
by wcrichton 8y ago
My advisor at Stanford is working on an open-source hardware toolchain to solve these exact problems. The Agile Hardware Center is trying to bring software methodologies of rapid prototyping and pervasive code sharing/reuse to ASICs, C

More ›