deredede

7 ms·

31.
by deredede 1y ago
The lack of ad-hoc polymorphism has to be there somewhere as well.
32.
by deredede 1y ago
This looks interesting, it's great to see more machine learning efforts in typed languages. I'm a bit surprised to see no mention of Owl ( https://github.com/owlbarn/owl an older project for scientific computi
33.
by deredede 1y ago
> Afraid to close the page because they wont find it in their history or bookmarks? Is this more an issue with bookmarks and history not being as useful as they could be? I think tabs are just the better user interface. It's not tha
34.
by deredede 1y ago
Code in this "named-pipeline" style is already self-documenting: using the same variable name makes it clear that we are dealing with a pipeline/chain. Using more descriptive names for the intermediate steps hides this, makin
35.
by deredede 1y ago
Those are equivalent, I think. If you can replace an expression by its value, any two expressions with the same value are indistinguishable (and conversely a value is an expression which is its own value).
36.
by deredede 1y ago
Machine learning is not magic -- no algorithm, machine learning or otherwise, will be able to treat an arbitrary-length sequence in constant time. The actual problem is also more complex than fixed word widths due to hyphenation and justifi
37.
by deredede 2y ago
Zig's comptime is not macros, it's staged programming / multi-stage programming.
38.
by deredede 2y ago
You typically don't represent that information in the type of the object itself but rather as separate information for the type of the values (ie fields). So maybe it's "a list, and also the values are lists" or maybe it
39.
by deredede 2y ago
In many cases Earley parsers are linear though.
40.
by deredede 2y ago
Do yourself a favor and go increase the text size (not zoom!) in your browser's (if not OS's) settings.
41.
by deredede 2y ago
While sub-optimal, your first example is probably fine to send and I'd expect to be simplified early during query planning at a negligible cost to the database server. What you shouldn't send is queries like: SELECT \* FROM
42.
by deredede 2y ago
This is the take I thought I'd have, but in the last example, the guesser model reaches the correct conclusion using a different reasoning than the clue giver model. The clue giver justifies the link of Paper and Log as "written r
43.
by deredede 2y ago
Parametricity is about behavior, not code. A function parametric in a variable should bevave identically for all values of the variable. If one instance of a C++ template fails to compile and another instance of the same template does compi
44.
by deredede 2y ago
You don't keep track of it as extra state - positions are already processed in increasing order of shortest mate, you stop once you hit 50.
45.
by deredede 2y ago
> I think messenger apps generally nudge us that way - e.g. setting the name of the chat usually sets it for everyone. That's a good point - maybe it's actually email that warped my mind. > I'll read them in one order o
46.
by deredede 2y ago
Messenger apps don't claim that this history should be global and consistent. The order in which messages were sent and received by my device is a perfectly fine (and I'd say intuitive) history. It is the order people (and their r
47.
by deredede 2y ago
> Yes a client may be out of date and therefore show something different, but once it becomes up to date it should be showing the same state even if that means amending history. Why? Because the humans reading it will be confused otherwi
48.
by deredede 2y ago
I assume this is tongue-in-cheek, but I don't think the comparison works at all. I spend maybe 1% of my working hours (being generous) using `ls` and something like 50% (likely more) using my editor. If there is some alternative to `ls
49.
by deredede 2y ago
> What this means is that all nominal variants and records are really just nominal wrappers over structural variants or records. If you have both nominal types and structural types in your language, you can already do this, while keeping
50.
by deredede 2y ago
> Bug givers (the evil version of a bug chaser) deserve felonies. I agree; I think that knowingly transmitting any communicable disease deserves a felony, but I don't think that HIV deserves to be singled out when all other such dis
51.
by deredede 2y ago
I was surprised at the claim that intentionally giving someone AIDS would be decriminalized, so I looked it up. The AIDS bill you seem to refer to (SB 239) lowers penalties from a felony to a misdemeanor (so it is still a crime), bringing i
52.
by deredede 2y ago
It's an old feature. You have to open the door manually, and the new trains (especially on automated lines) don't allow this.
53.
by deredede 2y ago
This was updated in 2022 but was indeed written and originally published in 2013.
54.
by deredede 2y ago
Not independently invented again. Lionel is fully aware of the level tracking in the OCaml type-checker; in fact the OP is cited in the Simple-sub paper (section 3.5.1, page 15).
55.
by deredede 2y ago
I think you remember wrong. Rust is moving towards using a datalog engine, but for lifetime resolution (the project is called Polonius), not for type checking. Datalog engines have some similarities with SMT solvers so this might be what yo
56.
by deredede 2y ago
Having one set of developers write the code and another set of developers write tests from the same specification without reading the code is probably the most effective ways to use tests for high software quality and is typically required
57.
by deredede 2y ago
There is an (apocryphal) anecdote about the person next to Picasso at a corrida being amazed seing him sketch a bullfight in seconds, to which Picasso allegedly replied "Seconds? It took me my whole life to be able to draw this."
58.
by deredede 2y ago
I am not an expert in either tag systems (or `find`), but this seems right. Using backreferences to handle copies sounds right (it does add expressive power to regular expressions but does not give Turing completeness, afaik). I think your
59.
by deredede 2y ago
I'm treating mkdir+find as a spec. The values for WIDTH and ITER are in the program itself and will impact any implementation of mkdir and find you use, including theoretical ones.
60.
by deredede 2y ago
If you define WIDTH and ITER prior to execution you are just giving arguments to your program. Maybe using the term "environment" was not the best choice; what I mean is that WIDTH and ITER are program variables that impact progra

More ›