samth

11 ms·

211.
by samth 10y ago
Just to be clear, in the Oculus scripting with Racket that Carmack has done, I don't think Racket is being used in the real-time way that you're suggesting. Instead, Racket is used to control and send commands to the Android devic
212.
by samth 10y ago
The second program will work in every Scheme I can think of (depending on what you want returned when the condition fails, but it shouldn't crash). I don't know what T did differently, but it's no longer the case.
213.
by samth 10y ago
While your work is very impressive, and I'm a big fan of Graal and systems like it, I think it's a mistake to say that something is solved when there's a single research system that gets good performance. As another example,
214.
by samth 10y ago
There are two parallelism approaches in Racket, both of which provide OS threads. The most useful one for web servers is called 'places', and is somewhat like Erlang -- you can only communicate immutable serializable data between
215.
by samth 10y ago
For the quantity over quality point, do you mean the standard library, or packages available on pkgs.racket-lang.org?
216.
by samth 10y ago
Which "function discovery feature" do you mean? That sounds like something that would be nice to add. The documentation page includes all the functions available in all the libraries you have installed (locally) or that are availa
217.
by samth 10y ago
No, this was developed by Jay McCarthy to support http://blackswanlearning.com/ I believe the Oculus system developed by Carmack runs Racket on a desktop machine and sends commands to the VR device.
218.
by samth 10y ago
I agree with you about actual usage, but your wish for Lisp==CL doesn't make sense either. Is LISP 1.5 "Lisp"? What about MacLisp or InterLisp or any of the other languages that both predated Common Lisp and had "lisp&qu
219.
by samth 10y ago
In that case, the only identity has to come via function.arguments. Could you therefore allocate the identity lazily, since there's nothing else to compare to?
220.
by samth 10y ago
Proving that identity isn't needed here is easy: if the function is only used in a first-order way (ie, it's always called) then the identity can't possibly matter. That should work in most cases that matter.
221.
by samth 10y ago
- I'm surprised that no current JS VM does lambda lifting (which is the transformation being done manually here). The analysis is easy, the wins are big for function-heavy code, and the tech is easy and well-known. JSC should try it! ;
222.
by samth 10y ago
For posterity, here are the docs for `cons`: http://docs.racket-lang.org/reference/pairs.html?q=cons#%28d... I don't see 10 levels of nonsense there. But clearly you're not happy about larger aspects of the s
223.
by samth 10y ago
Racket provides contracts for all paradigms you might want to use -- DBC is not a separate paradigm. The reasonable default is writing programs with structures and functions. Most people use OO primarily for the GUI (where OO works quite ni
224.
by samth 10y ago
Right, we think that contracts and OO programming are both important things that programmers want and need, and so they deserve high quality support from the language. The traditional Scheme approach of not making choices and not integratin
225.
by samth 10y ago
Note that the contract system and the OO system are built entirely with libraries, rather than being in the core. Also, syntax-case is implemented with a library on top of a much simpler core. We Racketeers spend a lot of time working on ho
226.
by samth 10y ago
I think it (like Guile) just supports the reader syntax, rather than the semantics (which is heavily based on Racket's macro system).
227.
by samth 10y ago
Yes, you can certainly do that in Racket. For example, the `case` macro does exactly that when there are many possibilities. Unless you mean something different that I mean by "create and then read from".
228.
by samth 10y ago
Maciej said, beforehand, that he thought the YCF+money would be an opportunity for Pinboard. Afterward, he said (a) that he wanted to get what he deserved as a the winner, phrased as "give me my 20k", and (b) that he didn't a
229.
by samth 10y ago
After what happened, doesn't it seem obvious that Pinboard in YCF wouldn't work out, 20k or no? So dang did the right thing by giving him the money, and Maciej donated it because he didn't want to win for the money (as be sai
230.
by samth 10y ago
Sadly this isn't true for old papers, but I agree about current ones.
231.
by samth 10y ago
I think we mostly agree on the empirical issues -- mathematicians usually don't care about the philosophical issues, and espouse naive Platonism which they haven't thought through. However, I don't think it's right to sa
232.
by samth 10y ago
Paywalls are bad, and fortunately many of us are working towards open access for our research. However, almost every paper I ever look for (published since 2000, say) is available for free on the web, usually on the author's web site.
233.
by samth 10y ago
Note that ECOOP went open access partly under the leadership of jpolitz's advisor. :-)
234.
by samth 10y ago
For people who are fans of adequacy, the author of that essay is Daniel Davies, who blogs at Crooked Timber and on Medium, and has an entertaining Twitter feed.
235.
Racket 6.5, with faster gradual typing(blog.racket-lang.org)
5 points by samth 10y ago|0 comments
236.
by samth 10y ago
You might be interested in Vincent St-Amour's optimization coach: https://github.com/stamourv/optimization-coach
237.
by samth 10y ago
I think most mathematicians are more likely to be Platonists than formalists. Formalism is also a real position in philosophy of math, but a minority one for I think two reasons. One is that the math we've developed seems significant e
238.
by samth 10y ago
Happy to see AbiWord, the first open-source project I was part of, continuing to do things the right way. The cross-platform approach in AbiWord has always been committed to quality over convenience, and I'm glad that's continuing
239.
by samth 11y ago
I don't think the exact thing you describe is common, but plenty of garbage collectors use memory protection to implement the write barrier. This is particularly useful when integrating with arbitrary code you don't control, since
240.
by samth 11y ago
This is now fixed.

More ›