James_K

37 ms·

601.
by James_K 2y ago
It really shocked me that it took people so long to figure this out. When I used Rust, I found it really quite unpleasant for prototyping, which if I understand it correctly is essentially all you are doing during game development. I imagin
602.
by James_K 2y ago
I thought it had latency as well, but I think it might be deliberate. It only lets you define 16 evenly spaced notes. Logically it has to wait until the next beat to play the sound, meaning if you are a little late on one input, it will be
603.
by James_K 2y ago
It wasn't obvious to me that this only had 16 possible beats so I kept trying to input triplets and it didn't work. I was very confused and thought there was some awful latency or something else odd like that.
604.
by James_K 2y ago
> I don't think anybody who actually uses LLMs thinks they are general purpose AI. They are being sold as such. Most people don't know anything about the topic and will buy that marketing. The entire concept of these models is
605.
by James_K 2y ago
> Democratising code Did yall see what happened when they democratised art? I don't want to have a billion and one AI garbage libraries to sift through before I can find something reliable and human-made. At least the potential for
606.
by James_K 2y ago
I've never dated a settlement myself, but the conversation must be awful.
607.
by James_K 2y ago
These people are just gonna re-invent Email next.
608.
by James_K 2y ago
Good examples of this would be the "rope" used in various text editors and Clojure's persistent vector data type.
609.
by James_K 2y ago
For me, Guix. The Guix system and package manager let you really work with your OS in a way that you just can't otherwise. It turns the great cluttered mess of files and packages lurking in the typical Linux system into a few clean ver
610.
by James_K 2y ago
Can you really not answer a question that simple? Every textbook has a certain amount of lisp in it. Take the average of all of those amounts (the mean, lets say), and you will get the amount of lisp in the average textbook. This is a subst
611.
by James_K 2y ago
That's not an explanation, and quite frankly it's entirely unrelated. You can quite easily guarantee a top-level variable isn't initially aliased by looking at the form that assigned it. In most cases this will be a literal w
612.
by James_K 2y ago
Would you say there are properties of this textbook that make it more related to lisp and lisp interpreters than the average textbook, and hence more likely to reference the early material about lisp and lisp interpreters?
613.
by James_K 2y ago
> valid Bel function What do you mean by this? Can valid functions produce errors? Does a valid function need to halt? > In the case of global bindings, there is nothing to analyze A global name will be used in the program text a fini
614.
by James_K 2y ago
> No, I presume nothing. So what is the word for when you say I haven't looked at your website based on no evidence and in the presence of evidence to the contrary? I would say "presume" fits the bill. And that is somethin
615.
by James_K 2y ago
> which you have obviously not even bothered to look at Again, you presume my ignorance because the only alternative is that I understand you and still think you are wrong. How do you think I knew about the contents of your article if I
616.
by James_K 2y ago
You can look at where a name is used, I say "escape analysis" here because that is the technique closest to what you would be doing. It gets the idea across quite well. At the fundamental level, you are analysing a program to see
617.
by James_K 2y ago
> Do you hear yourself? Yes, and I'm not the one compulsively ending every comment with a jab at the other guy's intelligence. > What does that have to do with the fact that the article I pointed you to has neither proofs no
618.
by James_K 2y ago
You can still do escape analysis. You wouldn't even need to be very advanced with it since most code won't do anything close to modifying and expression that's in the process of evaluating.
619.
by James_K 2y ago
> https://www.amazon.com/Essentials-Programming-Languages-MIT- ... That is a textbook, not research. > "They" is me -- I wrote that article. Makes sense. The HTML elements are broken in some of the code snipp
620.
by James_K 2y ago
Some fairly simple escape analysis could likely determine that most functions used in practice do not have their bodies assigned.
621.
by James_K 2y ago
> The ignorance you display here is truly breathtaking. Remember when I said "if you disagree, give me an example of such research"? Now is the time to do that. > Here is an existence proof that you are wrong about that: No
622.
by James_K 2y ago
> That's right. You could. How would that help? I literally just described in code how that could help. Wherever the compiler encounters an instance of a list in the source code that looks like a function, you compile it and put the
623.
by James_K 2y ago
> That's not true. Nothing prevents you from defining a serialization format for lambdas. That is in fact what all modern Lisps do. If you have a list defined "al la lambda calculus" as a lambda term, you can't really
624.
by James_K 2y ago
> That is all you have to build more complex stuff out of By this logic you can't add type information to anything because you can only use pairs so there is nowhere to store the type. It's a silly thing to say because it assum
625.
by James_K 2y ago
> it makes it nearly impossible to compile the language You would honestly be surprised what little difference it makes. You can just go through the source code as you compile it and compile instances of function-like objects with the co
626.
by James_K 2y ago
When you mentioned lambda calculus I assumed you meant functions were to be added as a primitive executable type. Then you would logically have lists defined as: (define (cons a b) (lambda (x y) (x a b))) (define nil (lambda (x y) (y)
627.
by James_K 2y ago
> But punning lists as functions is a still mistake for other reasons Formally speaking, you would struggle to do it any other way. If you introduce a type for functions, you need some way to get to it from lists in order for macros to w
628.
by James_K 2y ago
What a self-important idea, and executed so poorly. It is no surprise to do further research and see the name of Paul Graham attached. It proposes a purely theoretical approach, yet is mired in practicality. There are character literals, wh
629.
by James_K 2y ago
> shown you how to confirm my understanding of the topic with entirely unrelated sources You told me to Google it. I'll make a guess that you aren't the academic type, but trust me when I say that generally isn't accepted
630.
by James_K 2y ago
I don't think people are trying to give him the benefit of the doubt as much as this story is misleading. It only really makes sense if the pictures are of adults because if it was child porn it wouldn't be a news story. "Man

More ›