samth

7 ms·

31.
by samth 3y ago
I recommend this seminar on the book, which contains both strong critiques and a lot of interesting and positive discussion. https://crookedtimber.org/category/david-graeber-debt-semina...
32.
by samth 3y ago
This is not correct about the current state of the art in program synthesis, which is a field that's made a lot of progress recently. Unfortunately people coming from the AI world tend to ignore that work entirely and imagine they&#x27
33.
by samth 3y ago
I believe that is indeed why.
34.
by samth 3y ago
Here's the relevant part of the recording: https://youtu.be/va_uBcX9bNM?si=24C1L_bs878PS6pv&t=1400 What I said was (in part) "I am sure there are ways we can improve to attract people inside of academia, outsi
35.
by samth 3y ago
I didn't read it as complaining but I think your impression was not what I was aiming to say.
36.
by samth 3y ago
It is certainly not new. There are some things that Racket doesn't allow, but they are very much not "compile new code". For example, you can't replace the meaning of existing modules at runtime, nor can you modify the i
37.
by samth 3y ago
Both Chez and Racket allow you to compile new code at runtime.
38.
by samth 3y ago
It means that Matthew Flatt will become a committer to Chez Scheme, and they plan to include Racket-driven changes. Of course, we plan to maintain Chez Scheme's high standards for quality and preserve all the things about it that are g
39.
by samth 3y ago
I don't have notes of what I said (recording will be up soon) but that isn't what I was trying to say at all. We value use in industry and have made significant effort to enable it (like relicensing everything). It is true, of cou
40.
by samth 3y ago
This article is by one of the two inventors of abstract interpretation. Maybe you didn't find it helpful but it is definitely accurate.
41.
by samth 3y ago
It's a joke. Olin Shivers is currently a professor in CS at Northeastern University.
42.
by samth 3y ago
Every type is inhabited in most type systems for general-purpose programming languages. For example, to inhabit a type T in Haskell syntax (the same approach works in basically any language): f :: () -> T f x = f x myT
43.
by samth 3y ago
GPT-4 is clearly very impressive, they should show it off honestly and transparently. Instead OpenAI clearly treats these evaluations as a part of their sales and marketing, with inflated claims to match.
44.
by samth 3y ago
I think you are confused about who is advocating what here. Pointer provenance is a real thing that has already happened and that compiler developers want. Sewell's group has been working (eg in this thesis) to put that idea on a consi
45.
by samth 3y ago
I've been teaching intro CS for 20 years, but I totally disagree that this is the #1 pain point. The biggest paint point not discussed is that programming is challenging to learn and requires a lot of effort from students, but all the
46.
by samth 3y ago
A quick investigation on Wikipedia suggests that there are two competing schools of thought: - the rainforest was somewhat smaller but still intact (contra the OP) - the rainforest was reduced to small refuges separated by grassland
47.
by samth 3y ago
An important point to understand, though, is that taking a vacation for the entire summer is not really an option, no matter how few grants you have. You're expected to do more than that over the summer even though supposedly you aren&
48.
by samth 3y ago
This is an excellent breakdown. The one thing I would quibble with is the characterization of summer salary. It's better to think of the 9-month pay idea as an accounting trick that has two purposes: 1. A benefit for faculty, since the
49.
by samth 4y ago
Note that the rattle system Neil talks about works cross-platform. It uses LDPRELOAD to make it work.
50.
by samth 4y ago
I've had a Bolt for more than a year (it's a great car) and I don't know what Electrify America is. (Looked it up, it's a network of charging stations)
51.
by samth 4y ago
Hi! You might enjoy the Racket leaderboard: https://racket.discourse.group/t/advent-of-code-2022-racket-...
52.
by samth 4y ago
Supposedly they had 10k people working on it. Over 5 years that only 200k per person per year just to account for the whole 10 billion.
53.
by samth 4y ago
They're similar in length, but the First Edition covers somewhat more material, in particular mutation, while the Second edition has more details and exercises, and covers the 2htdp/universe functional animations that are new for
54.
by samth 4y ago
Someone from GitHub reached out to me because of this comment and said they were fixing it. The problem is that Racket's license file isn't simple enough for their automated tools.
55.
by samth 4y ago
From the NYT comments, here's a map of their route: https://scarab.msu.montana.edu/screel/EWD%201355%20map.jpg
56.
by samth 4y ago
Yeah that just redirects me to the paid page. I do wish the criteria were a little more transparent.
57.
by samth 4y ago
At a minimum, 4.3k stars is not enough, because I don't qualify.
58.
by samth 4y ago
Here are some ORM-related libraries: - https://docs.racket-lang.org/mongodb/ORM_Operations.html - https://docs.racket-lang.org/racquel/index.html - https://github.com/adjkant/
59.
by samth 4y ago
I think the closest short answer is that recursive definitions are just a special case of inductive ones for writing functions.
60.
by samth 4y ago
No, that's not a refinement. What it means is that if the initial IR says "add x and y, and if it overflows return anything at all", then you can refine that to "add x and y, with wraparound at 2^64" because the lat

More ›