samth

14 ms·

181.
by samth 9y ago
Yes, we still have a similar course at IU. Here's the textbook for the current incarnation: https://github.com/IUCompilerCourse/Essentials-of-Compilatio...
182.
by samth 9y ago
For Tolkien, at least, none of his posthumous books are accurately described the way you characterize them.
183.
by samth 9y ago
This doesn't need a statically typed language at all. Here's the same thing, with test runs, nightly, for Racket: http://pkg-build.racket-lang.org/ (that's building all packages on the current release, there&
184.
by samth 9y ago
Delimited continuations are in the Racket standard library. Racket's thread system isn't built directly on them but is also lightweight. The in-progress work to run Racket in Chez Scheme uses an implementation more like what wingo
185.
by samth 9y ago
I'm impressed (as usual with your work) that you're able to get that level of performance from an interpreter, although as you note it's not an apples-to-apples comparison. I wonder what you'd get from the 2.x VM design
186.
by samth 9y ago
I was that guy in the audience. Your suggestion is that a templating JIT that just drops in some machine code that matches the method, doing no optimization, would get all the win. Such a compiler is indeed much faster than an interpreter,
187.
by samth 9y ago
Extraction of terms written using Fixpoint isn't really the Curry-Howard correspondence. Instead, the correspondence is between (for example) proofs of correctness and terms in the Calculus of Constructions. [Fixpoint terms are also CI
188.
by samth 9y ago
No, I'm talking about the one I linked to, which is done in Coq.
189.
by samth 9y ago
Right, that's one of the nice things about Appel's paper: he shows how to integrate a few different pieces to significantly reduce the TCB (ie, it doesn't include anything about C the language at all).
190.
by samth 9y ago
Right, the concept of the TCB (trusted computing base) is the important thing. Good discussions of remaining TCB in verified code are in the seL4 work, or in this paper: https://www.cs.princeton.edu/~appel/papers/v
191.
Seventh RacketCon – 7–8 October, University of Washington(con.racket-lang.org)
2 points by samth 9y ago|0 comments
192.
by samth 9y ago
What kind of symbolic values does Prepack have, and what kinds of constraints on them does it understand?
193.
by samth 10y ago
No, this is false. All "innovation" can be characterized as re-solving or extending. Pick a computing technology, and I'm happy to do it.
194.
by samth 10y ago
My wife has a great Rab jacket. Some other very high quality brands I've bought from that people might not have heard of: Mont-Bell (Japan), Montane (UK).
195.
by samth 10y ago
The translation of these programs to JS via a translation to Scheme turns out not to end up reflecting modern programs.
196.
by samth 10y ago
The benchmarks gathered for this book continue to be incredibly significant (though not really for good reasons) 30+ years later. Quite remarkable.
197.
by samth 10y ago
For the benefit of anyone reading this: 1. The people who lie constantly about GamerGate are the people supporting it, not the media. 2. PewDiePie actually said racist things and had people hold up anti-semitic signs. This was accurately re
198.
by samth 10y ago
Yes, immutable vectors are not a convenient data structure -- I recommend using one of the other random access functional data structures available as libraries, such as RRB trees.
199.
by samth 10y ago
Can you say more here? What things are we missing?
200.
by samth 10y ago
Can you give an example where you don't get the stack trace you expect? For example, when I run simple programs at the command line I get the stack trace I'd expect, and I get more if I run it in DrRacket (with and without errortr
201.
by samth 10y ago
The Mac core GUI and graphics libraries are slightly different on laptops with the touch bar, in ways that broke Racket's GUI libraries. You can see the commit that fixed it here: https://github.com/racket/gui&#x2F
202.
by samth 10y ago
In DrRacket, you can see automatic documentation for the function your cursor is on in the upper-right corner of the window (you can mouse over it to show it, or hit F2). Is that what you're looking for?
203.
by samth 10y ago
As a somewhat different data point, we've been developing pycket, an implementation of Racket on top of rpython, for the past 3 years, and while it faces many of the same challenges, we've been very happy with the results. The JIT
204.
by samth 10y ago
The OS features of Racket are still based around these ideas, particularly custodians and namespaces.
205.
by samth 10y ago
This is emphatically NOT true about tail calls and Safari -- the JSC has already implemented proper tail calls, and they were the first to do so.
206.
by samth 10y ago
We're working on it! See the work by my student, Andrew Kent, coming soon to Typed Racket: https://pnwamk.github.io/
207.
by samth 10y ago
Check out the 2016 branch.
208.
by samth 10y ago
Racket doesn't have simple interfaces to things like BLAS, but it does have quite good natively written libraries for matrix operations and other math-related things: http://docs.racket-lang.org/math/
209.
by samth 10y ago
I think the truth is somewhere between what you and dTal said. First, Racket isn't much more different from "Scheme" now than when we changed the name in 2010. Second, if you copy-and-paste a random portable Scheme program in
210.
by samth 10y ago
Matthew Butterick (the author of Beautiful Racket linked in another reply) is solving this year's Advent of Code, all as DSLs: https://github.com/mbutterick/aoc-racket

More ›