davidgrenier

8 ms·

31.
by davidgrenier 3y ago
Yes, this is what Ur/Web does albeit this is limited to Web Server requests. I'd argue all programs could be short lived and memory management becomes a matter of sizing program's scope/role to the amount of memory you c
32.
by davidgrenier 3y ago
"Since we know that infinite densities cannot actually happen in the universe" How do we "know" that?
33.
by davidgrenier 3y ago
Oh another thing, I'm not a fan of the premise: "As a general-purpose memory allocator, though, we can't get away with having no free implementation." I have a belief that the future of software are short-lived programs
34.
by davidgrenier 3y ago
Well otherwise, I learned a lot and the basics are much simpler than I expected, thank you for the article.
35.
by davidgrenier 3y ago
The only thing that confused me is how it said we can know the location of the block after and before by calculating: address + <value at address> address - <value at address-1> Shouldn't this be? address
36.
by davidgrenier 3y ago
This is on .net core 7.0.5, Debian 11, Server GC (which is expected by Hopac). I removed all GC code and ran it as an executable using @compumike's `ps ax -o pid,rss,args' command. I think the only one that triggered a GC was the
37.
by davidgrenier 3y ago
For the sake of pitching an analog to go's concurrency model. Hopac is a concurrency library for F# (partly written in C#) delivering an informal implementation of CSP (similar to Go's goroutine and Clojure Core.async). Since the
38.
by davidgrenier 3y ago
Correct me if I'm wrong, but F# has had that on inception 18 years ago which it inherited from the ML family of programming languages. Though I agree it's a much saner default to ask for type information rather than default to Any
39.
by davidgrenier 4y ago
Probably, I'm not familiar with the domain. I'm suggesting their data and publishing practice could be dogshit while their process might still wield a room-temp superconductor, in which case it would be a little unfair to conclude
40.
by davidgrenier 4y ago
People are deadset on the fraud allegrations arguing that one must be incredibly stupid to do this. It stands to reason then, that they haven't. I feel they are simply lazy-on-the-paperwork tinkerers. I can understand since academic pu
41.
by davidgrenier 4y ago
This thread is surprisingly back today with millions of comments. I don't know if anyone has pointed out that the functions called... do nothing. Hence it is understandable that the performance profile is dominated by dynamic dispatch.
42.
by davidgrenier 4y ago
How is this take? Free and Open Source Software isn't owned by anyone. Being a contributor, even to my own pet project, cannot compel me to contribute my valuable time to the project in ways that I do not so chose. And you can't c
43.
by davidgrenier 4y ago
I had the french canadian version of that 'eurk'.
44.
by davidgrenier 4y ago
Why is everyone here assuming uncut sheets aren't legal tender? A look at their faq reveals: ``Because the individual notes on uncut currency sheets are legal tender, they may be cut apart and spent.''
45.
by davidgrenier 4y ago
In combinatorics the adjusted fibonacci numbers start with 1 instead and is more commonly used as it aligns with many other results. One might want to document in the code, via a test, which sequence is of interest. This is just an example
46.
by davidgrenier 4y ago
You could compare against a closed-form solution: let fib2 n = let sq5 = sqrt(5.0) ((1.0 + sq5)/2.0)**(float n)/sq5 |> round |> int
47.
by davidgrenier 4y ago
I don't understand your first example. They are both correct, but have different semantic meaning. A parser doesn't have to try to find incorrectness there, it simply has to infer the semantic meaning of both, which is... the seco
48.
by davidgrenier 4y ago
"balls to the wall - Attributes personality traits to anatomy" Is it me or someone over there thinks this may have something to do with testicles?
49.
by davidgrenier 4y ago
Try steelmaning instead of strawmanning his position next time.
50.
by davidgrenier 4y ago
The paper stated James Fadiman as the source for the characterization of a microdose, it however failed to properly convey his point of view. I've heard James Fadiman reporting twice that it is 10% of a recreational (1-3g) or therapeut
51.
by davidgrenier 4y ago
Proudly, I thought I had identified a pun.
52.
by davidgrenier 4y ago
A lot of these folks are working on the assumption that Hawking Radiation would have evaporated all small primordial black holes (the kind that could traverse the earth with little to no damage). However Hawking Radiation is a testable pred
53.
by davidgrenier 4y ago
Never let this guy learn F#... it'll ruin all programming for him.
54.
by davidgrenier 4y ago
I was gonna say, this is absolutely untrue: "Workers tend to underestimate [...] the ability of their superiors to change perspective and collaborate on moving forward." They do however underestimate the ability of their superior
55.
by davidgrenier 4y ago
Seems like a legit business in the making. Removing useless LEDs from products.
56.
by davidgrenier 4y ago
I wonder how I would add \phantom- before x and 0 in the definition of abs(x). It looks like op's making decision for mathematical document author and since I already see multiple nitpickings like this, it looks like a bad idea waiting
57.
by davidgrenier 5y ago
I think they should enter the gaming market. Perhaps put some pressure on Steam who has just refused to refund a terrible game that I have played for 3 hours.
58.
by davidgrenier 5y ago
Also, Turing Completeness is almost always accidental while non-TC is obtained by design. Hence, just about anything has Turing Completness which doesn't make it a feature. Now if you want to gain the ability to make serious proofs abo
59.
by davidgrenier 5y ago
I just wish more people understood that something being Turing Complete isn't a feature, it's a flaw.
60.
by davidgrenier 5y ago
The answer is always that popularity doesn't correlate with merit.

More ›