ebingdom

18 ms·

61.
by ebingdom 4y ago
That's not what undefined behavior means.
62.
by ebingdom 4y ago
> The modern definition of a lens is When you say "the modern definition of X is Y", it tends to suggest that the older definition is no longer relevant or useful, even though I know that's not what you mean. So to clarify
63.
by ebingdom 4y ago
> I sometimes wonder whether people adopt Rust/Haskell/ReasonML for front-end work because they want it to feel like more of an effort than it otherwise would. That's ridiculous. There's a lot of garbage to unpack in
64.
by ebingdom 4y ago
That's a strange take considering generics can provide important type safety benefits in many situations. For example, without generics, there's no way to implement the `MapKeys` example from the article unless you want to give up
65.
by ebingdom 5y ago
So if I have a bunch of objects whose names are hashes like 2df6ad6ca44d06566cffde51155e82ad0947c736 that I expect to access randomly, is there any performance benefit to introducing artificial delimiters like 2d/f6/ad6ca44d06566c
66.
by ebingdom 5y ago
Thanks for the clarification. But now I'm confused about the limits: > 3,500 PUT/COPY/POST/DELETE requests per second per prefix > 5,500 GET/HEAD requests per second per prefix Most of those APIs don't ev
67.
by ebingdom 5y ago
I'm confused about prefixes and sharding: > The files are stored on a physical drive somewhere and indexed someplace else by the entire string app/events/ - called the prefix. The / character is really just a rendered
68.
by ebingdom 5y ago
If you're looking for a way to reproduce your CI locally that isn't tied to a particular CI system (but which has a nice integration with GitHub Actions), there's also Toast: https://github.com/stepchowfun&#x2
69.
by ebingdom 5y ago
> I just want you to realize that you are in the extreme minority here I'm in the minority because I've spent an unusual amount of time investing in my understanding of programming languages and their features, not because I ha
70.
by ebingdom 5y ago
> Straight-up incorrect. Language designers think long and hard about how typings work in their languages. Rob Pike, Ken Thompson, and Russ Cox deliberated generics for like a decade[1] before finally allowing them in Go. I think that ki
71.
by ebingdom 5y ago
OP is using Docker + Make in a similar way to how I was a few years ago, before I started using Toast ( https://github.com/stepchowfun/toast ). Toast lets you define tasks like you would with Make (without all the hairy
72.
by ebingdom 5y ago
> Let’s begin by the base64 notation. The cardinality of each byte is 64 so it takes 3 bytes in base64 to represent 2 bytes of actual value. Wait, what? I thought it takes 4 base-64 digits to represent 3 bytes of data. Not 3 base-64 digi
73.
by ebingdom 5y ago
Coq requires thinking like a functional programmer, and most programmers are resistant to that paradigm for some reason.
74.
by ebingdom 5y ago
> But from a scientific standpoint, do you think a software can be 100% correct? Sure it can. I've written 100% correct code using Coq. For example, I wrote a relatively simple program (~1.7k LoC) to interpret a simple programming l
75.
by ebingdom 5y ago
> because you don't fully understand its purpose How did you arrive at the conclusion that OP doesn't understand margins?
76.
by ebingdom 5y ago
I'd say it's the recommended book for type systems . For type theory , I'd recommend "Certified Programming with Dependent Types" by Adam Chlipala or "Programming Language Foundations in Agda" by Philip
77.
by ebingdom 5y ago
Nice to see my favorite book on HN! I highly recommend this book if you want to really learn programming language theory (especially operational semantics and type systems).
78.
by ebingdom 5y ago
> It can't be returned from, the exit system call must be issued before execution terminates. So what happens if exit isn't called?
79.
by ebingdom 5y ago
I absolutely love that book. Category theory has changed the way I think about so many things. Maybe the most prominent way category theory has influenced my thinking is that I always ask "what is the dual situation?" now, often l
80.
Ask HN: Where do you buy premium aftermarket domains?
4 points by ebingdom 5y ago|2 comments
81.
by ebingdom 5y ago
The standard reference, if there is one, is Benjamin Pierce's "Types and Programming Languages" book.
82.
by ebingdom 5y ago
> Barely typed languages like C made rigorously typed languages like C++ and Java seem appealing. The boilerplatiness of those languages made duck typing seem appealing. Eh, I consider Java to be barely typed too. If you have a variable
83.
by ebingdom 5y ago
I'm not who you're responding to, but the fact that interfaces/pointers (among other things) are nullable and there is no way to make them non-nullable is a problem with Go. A lot of bugs in Go programs are due to calling met
84.
by ebingdom 5y ago
> while crediting Rust for things it didn't implement. * invent (Other than this minor typo, I'm not sure why you're being downvoted. It's crazy that people in 2021 think non-nullable types are novel/"crazy&
85.
by ebingdom 5y ago
> I think this is not true. If it was this way, there would be no way to read data from an API. Why do you think the only way to read from an API is with a function call? Have you not heard of monads?
86.
by ebingdom 5y ago
> The problem is that there isn’t a tidy image (at least I haven’t come up with one) that combines all of it. I don't think you should expect there to be an image that shows all the levels of abstraction at once. The image should on
87.
by ebingdom 5y ago
> The statement “category of endofunctors” is a good example; for someone with a very visual intuition like myself it feels like something that simply cannot be visualized, or is akin to visualizing a 5d hypercube. Follow this recipe and
88.
by ebingdom 5y ago
Who is upvoting this? I love category theory and use it to reason about types and programs, but what even is this article. OP's glossary entry on "Kernel Category" makes me feel that they are just making up nonsense. I would
89.
by ebingdom 5y ago
> I don't write tests at early stages, do you? I definitely do. In my experience, it's much easier to adopt a discipline of testing (and static typing) early on than it is to try to retroactively add that to an existing system,
90.
by ebingdom 5y ago
> It is great but I stand by my statement that the community's obsession with complexity (even if it's simpler from a category or maths sense) is the issue. Haskell's community is almost obsessed with increasing cognitiv

More ›