arvyy

8 ms·

1.
by arvyy 12d ago
As a related work regarding continuations, there was also a thesis by Andrea Bernardini ( https://andrebask.github.io/thesis ), with similar principal idea
2.
by arvyy 1mo ago
> shows how powerful Racket can be for building programming languages! Building languages was always one of selling points racket tried to push; the "Language-Oriented Programming Language" slogan and all.
3.
by arvyy 1mo ago
you might be interested in Hy lang
4.
by arvyy 1mo ago
as much praise as some people give to it, I feel deeply uncomfortable with an idea of SaaS-only DB tech that you don't have an option to self host
5.
by arvyy 1mo ago
same, and unlike other repliers, I'll say one doesn't need to reinvent a new tool for this. Just use devcontainers.
6.
by arvyy 2mo ago
what I meant, the macro system should support hygiene, not necessarily that all macros in it must be hygienic. The syntax bits being manipulated come with an extra scope context, which means you get better preserved information about init
7.
by arvyy 2mo ago
all the things, if macro system is sufficiently sophisticated (ie., hygienic with ability to attach metadata to syntax object). Racket is one of languages with such system, and they implemented static typing using them.
8.
by arvyy 2mo ago
I used opportunity to learn about devcontainers. I've only recently started using llms and it's possible I'll change my mind later; but so far I quite like the approach in part because it 2-for-1 also gives benefit of easy to
9.
by arvyy 2mo ago
it's a very old idea. I first saw this on https://www.squidi.net/three/entry.php?id=56
10.
by arvyy 3mo ago
one of the players he persistently harassed, Daniel Naroditsky, ended up dying, which surely gave an extra push
11.
by arvyy 3mo ago
It took 6 turns for opus 4.8 to attempt to make an illegal move in chess against me. Yes you can setup guardrails and validations and other things, but as long its primary brain is demonstrably full of holes, I feel obligation to at very le
12.
by arvyy 4mo ago
Almost all of these problems are due to scheme being so absurdly fractured, it's a real shame. It's already niche, but then on top of it instead of having 2-3 robust implementations with robust cli / messages / docs &#x2
13.
by arvyy 4mo ago
doubtful, or at least not useful ones. Like, you could describe some invariant along the lines of "the position is winning for the side-to-move, iff there exists move, such that position' := ApplyMove(position, move) is losing for
14.
by arvyy 4mo ago
> the vars are usually compiled to the moral equivalent of a global variable holding a pointer to a function. This allows you to update the function if the developer redefines it in the REPL, but it comes at a performance cost (the JVM c
15.
by arvyy 5mo ago
> if the language used statement delimiters I mean, it does. White-space sensitive syntax is entirely opt-in when you chose to omit delimiters. Here's an explicit delimiter example: let { a = 1; b = 2 } in a +
16.
by arvyy 5mo ago
kawa is unfortunately a somewhat shoddy project. Alot of halfbaked features / abstraction ideas (eg trying to support CL for whatever reason), dubious tooling for a java project (autotools), unclean and inconsistent code formatting. It
17.
by arvyy 5mo ago
> you as the customer are too dumb to not spill hot coffee over yourself presuming you're referring to the hot coffee lawsuit, maybe read details of the story. McDonalds wasn't at all blameless, and the plaintiff had reasonab
18.
by arvyy 5mo ago
it feels OpenAI know they've lost, and their only hope is getting saved by USA military complex. I have a more restrained opinion about other AI companies and LLM tech more broadly; but for OpenAI specifically I hope they go bankrupt s
19.
by arvyy 6mo ago
hardly new, I've used it before advent of llm popularity, and I wasn't alone
20.
by arvyy 7mo ago
CS undergrads write parsers for some toy lisps or other straight forward syntax. C isn't as trivial https://faultlore.com/blah/c-isnt-a-language/#you-cant-actua... (a small remark, but to be clear I'm no
21.
by arvyy 7mo ago
I knew one person reporting gcc bugs, and iirc those were all niche scenarios where it generated slightly suboptimal machine code but not otherwise observable from behavior
22.
by arvyy 1y ago
hopefully a legal action is taken against such abhorrent project blatantly violating users' privacy
23.
by arvyy 2y ago
Performance concerns are WIP, it's too early to meaningfully benchmark. I did some napkin benchmarking against sbcl for curiosity and it was ~7 times slower
24.
by arvyy 2y ago
I see where you're coming from, and the naming was quite unimaginative, indeed. I saw that "truffle ruby" called itself that and copied it. However, the fact it's based on truffle is the selling point -- truffle enables