deredede

15 ms·

151.
by deredede 3y ago
I disagree. E-graphs as a data structure are used to represent an exponential combination of terms in a manageable (ie polynomial) structure. Thus, it is interesting to know what the limits of that "compression" are - what we can
152.
by deredede 3y ago
"If they're written well" is key here. Anyways, just show me the code and we'll discuss it together, don't waste my time making improvement to toy code that will never get used.
153.
by deredede 3y ago
With the unfortunate difference that when estimating a ticket you will have to complete, most people have learned to give safe over-estimates, but they don't want to look bad when a prospective hire complete the job in 1/4 the t
154.
by deredede 3y ago
From the horse's mouth (article of the linked HN post): > PL/Rust contains a small set of lints to block what the developers have deemed the most egregious "I-Unsound" Rust bugs. > [...] > Note that this is done
155.
by deredede 3y ago
This link is about a proposed new eBPF verifier for the Linux kernel that doesn't use signing. As a research project it is not integrated to the kernel, but their plan does not involve trusting user space (instead they suggest doing th
156.
by deredede 3y ago
From what I remember of the discussions on the topic, it's not so much that people are offended by it per se, but there has been many reports of uncomfortable situations from women who use and specifically teach Coq. Let's be hone
157.
by deredede 3y ago
The less productive person would also benefit from measuring against themselves. On a day-to-day basis, there are no metrics that make more sense. (Or not measure at all, which is fine -- but if you do measure something, that's what yo
158.
by deredede 3y ago
I think the return thing is a classic issue of autocomplete systems: what do you do if the user hits return (or decides to) and some characters are not yet reflected in the UI showing the current suggestion? Whatever you do there'll be
159.
by deredede 3y ago
Yeah, but that does not imply you will find what you're looking for, or that you want to buy it immediately (e.g. you have something else afterwards where it would be inconvenient to carry what you bought and prefer coming back another
160.
by deredede 3y ago
Ah, that makes sense! Thanks. I usually make boiled eggs when I take food somewhere (be it for hiking or a lunch in the park). But I also drop them into cold water once they are cooked to stop the cooking, so they are quickly not that hot a
161.
by deredede 3y ago
I used Vim almost exclusively for a long time but am currently using vscode and I actually low-key hate the command palette. It's not always consistent (if you type return too fast you sometimes get a different command! Crazy) and I am
162.
by deredede 3y ago
I am curious, do you often put on eggs to boil and then walk away doing other things for an extended period of time? I am usually still in the kitchen preparing the rest of the meal by the time the alarm rings, so turning off the stove is n
163.
by deredede 3y ago
I don't think there is work duplication here, not in any meaningful way at least (and even in non meaningful ways I think you're also way off with your 50% figure - considering a 4kB page size and 64-bit pointer alignment, 0.2% wo
164.
by deredede 3y ago
You can't exactly lean on the OS to detect bad pointers references because it will only work some of the time. The OS doesn't know where your array end, so the error would have to depend on whether the access is outside the memory
165.
by deredede 3y ago
The allocator never hands out invalid addresses, but the wasm code can then try to access out of the bounds of the allocated memory (eg huge array index). The wasm runtime and other browser code runs in the same address space but must stay
166.
by deredede 3y ago
RAII is a good question to weed out inexperienced C++ programmers, but I don't think asking about SFINAE is a very good interview question, unless the job involves heavy template metaprogramming, and even then it is such an obscure nam
167.
by deredede 3y ago
Because the moderators provide (unpaid) labor for Reddit (or SO, to make the parallel with another post where you are asking the same question).
168.
by deredede 3y ago
To be fair, I suspect many developers would also prefer their dependencies never deprecating anything either.
169.
by deredede 3y ago
That's fair, but the solution to that problem is to print warning messages on standard error, not to make them fatal errors.
170.
by deredede 3y ago
Fair enough :) Although skimming the paper you linked, they say they don't check termination of loops, which surprises me.
171.
by deredede 3y ago
Don't let weird C syntax choices fool you, this is a while loop, not a for loop. To clarify, when I said "for loop", I meant what is sometimes called a "counted for loop" (or simply "counted loop"): there
172.
by deredede 3y ago
For loops (where the user is not allowed to change the value of the iterator mid-iteration) are guaranteed to terminate.
173.
by deredede 3y ago
The menhir parser generator is extremely good and doesn't quite have an equivalent in the Rust world. But other than that, in no particular order: - While it has its downsides, OCaml's module system (and functors especially) is ex
174.
by deredede 3y ago
When I learned to use them, it was common advice for users of lexer generators to use a single-path and disambiguate later. If you use separate paths for each keyword, you get potentially very complex regular expressions that make a branchy
175.
by deredede 3y ago
In my opinion the best of both worlds would just be to have Rust-style inline annotations and an "interface mode" that hides implementations (most modern IDEs can already do that) and non-public function. BTW I am not sure why you
176.
by deredede 3y ago
I agree that the usefulness of documentation systems such as odoc comes from a carefully curated interface, but I disagree with them needing a separate file which in my experience is cause of friction. Other languages (I am familiar with Ru
177.
by deredede 3y ago
I know this is an unpopular position in the OCaml ecosystem, but I find .mli files to be in all ways inferior to the "inline" approach Rust (amongst others) take. OCaml requires perpetual context switches between .ml and .mli file
178.
by deredede 3y ago
When parsing, you probably use a hash table from tokens to token IDs, which is where you'd use the fancy hash function.
179.
by deredede 3y ago
We are not looking for points such that y = x but for distinct points x, x' that have the same y (f(x) = f(x'))
180.
by deredede 4y ago
Proofs (both results and techniques) are a mathematician's ammo. It is not good strategy to wait for a war to start before building ammo.

More ›