deredede

15 ms·

121.
by deredede 3y ago
> You have to use gdb unless you are using windows unless there is another debugger for linux that I'm not aware of. lldb does work on Linux.
122.
by deredede 3y ago
From my experience, e-scooters are much more annoying and dangerous than e-bikes. Mostly because e-scooters are anecdotally more likely to be used on the sidewalk, and by more reckless drivers. I am not entirely sure why that is, but I thin
123.
by deredede 3y ago
There are two types of people that will vote in such a referendum: those that use electric scooters (vote to allow) and those that are annoyed by them (vote to forbid). The others don't care enough. If you look at the demographics for
124.
by deredede 3y ago
Lots of people think whitelist is not fine, and decide to use another term whose meaning is perfectly clear and understandable. You don't like that term, but what would you have people use that's less divisive? Clearly "white
125.
by deredede 3y ago
From what I remember, this is because there is more land in the northern hemisphere and more ocean in the southern hemisphere, and water has better thermal capacity than soil.
126.
by deredede 3y ago
Yeah, and a bunch of other languages that also compile to wasm. But wasm is rarely a "first class" citizen (it is a tier 2 target for Rust, so there are no automated tested, for instance), so again, can't fault anyone for not
127.
by deredede 3y ago
The `value={state}` / `onchange={evt => setState(evt.target.value)}` dance you do instead also fits the "programming with attributes" paradigm, which was my point.
128.
by deredede 3y ago
I'm not sure how that's worse than the plethora of binding attributes that you find in React/Vue/Svelte and the like. Sure they are not technically HTML attributes, but as programming languages, the outcome is very simil
129.
by deredede 3y ago
A better way to think about it is that HTMX avoids large, stateful, client-side applications, so that you keep all the actual logic on the server. You can still choose JS on the server side if you want, it's just no longer forced on yo
130.
by deredede 3y ago
This is a blog post from somebody exploring how to use a (combination of) tool and reporting on writing a TODO app with it. How could they give direction/feedback about how to use these tools in production effectively when they are onl
131.
by deredede 3y ago
You mean November 1994
132.
by deredede 3y ago
I mean, sure, you can optimize a lot of the common cases (C++ compilers do the same), but that doesn't make the dispatch static, semantically.
133.
by deredede 3y ago
Implementing sum types in a language that doesn't support them is so common that it has a name: the visitor pattern. Somewhat interestingly the visitor pattern is even useful in languages that have sum types as it makes it easier to
134.
by deredede 3y ago
> it could also be considered able-ist biggotry to judge Elon by the standards of someone without Asperger's, no? Elon may not have realized it is a misstep, and may have good reason for not realizing it, but that doesn't make
135.
by deredede 3y ago
Can you elaborate on what you mean by "typeclass dispatch is static"? I believe typeclasse in Haskell at least are lowered to an array of method, i.e. a vtable, and (single) dispatch happens at runtime.
136.
by deredede 3y ago
Yes, the name slipped from my mind, thank you for pointing that out! With type classes however you mostly switch to the codata/protocol view, you can't pattern match on "the things that implement the type class" anymore
137.
by deredede 3y ago
This is somewhat glossing over the fact that you can only do this mechanical translation if you have access to the whole program, and the two approaches have drastically different implications for modularity. With the "data"/
138.
by deredede 3y ago
On the other hand, explicitly writing coercions from T to Option<T> gets tiring real fast. I'm sure it should be possible to design a typing+coercion algorithm that automatically coerces `x` into `Some(x)` in 99% of the cases tha
139.
by deredede 3y ago
You really don't need dependent types to do the printf thing, any language with GADTs or equivalent typing functionality can do it, see for instance OCaml's Printf module. Although you do need a little bit of magic from the compil
140.
by deredede 3y ago
People do support projects owned by companies through code contributions like, all the time (otherwise CLAs wouldn't be a thing). I'm also not talking about making donations to Red Hat, I'm sure there are ways for people that
141.
by deredede 3y ago
I really want to be on the community's side here. But when I read "I profit off Ansible as a downstream user, and I have never funneled a penny of that profit back to Red Hat. " followed shortly after by "As for me, I&#x
142.
by deredede 3y ago
I did not say that all extremely cold (or hot, for that matter) days are climate change. Climate change is both an increase in global temperature (increased average), and an increase in extreme conditions (increased variance) The number of
143.
by deredede 3y ago
I am replying to the commenter saying it was cloudy on Monday, not to the article (which I did read). But maybe I'm missing something.
144.
by deredede 3y ago
This is not a Lisp syntax error, this is a 'cond' macro syntax error. The language has no syntax, the constructs within the language can and do impose additional restrictions (not extensions - restrictions) when evaluated. You may
145.
by deredede 3y ago
Where you live it might have been. This is whataboutism.
146.
by deredede 3y ago
Extremely cold days can be part of global warming, which is why it is now called "climate change" to avoid confusion. It's not that everything gets hotter: while average temperatures rise, the system as a whole gets deregulat
147.
by deredede 3y ago
"Lisp has no syntax" really means "Lisp has no specific syntax". Any well-parenthesized S-expr is a syntactically valid Lisp program, even if it is nonsensical. Most other languages (including Forth) have keyword and syn
148.
by deredede 3y ago
Of course, compilers exist, so in a sense all code is data. Besides the social stuff, S-expressions make it orders of magnitude simpler to build the infrastructure required to support seamless macros (just look at procedural macros in Rust
149.
by deredede 3y ago
First wins makes some sense from a security pov. You want to load the more "trusted" configuration files first because they must be able to further restrict the less trusted files, but don't want to let the less trusted files
150.
by deredede 3y ago
I agree that this result is wholly unsurprising (I had just assumed it to be true, but it is nice to have confirmation). I am not sure I understand your comment on language structure. E-graphs are used to reason automatically about equivale

More ›