Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Twisol
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
120 ms
·
901.
▲
by
Twisol
8y ago
Peanuts. (Wait, that's for EDL, not for launch.)
902.
▲
by
Twisol
8y ago
Eval is a lot like goto in that way. In the vast majority of cases, there's a better way to do things -- but in a very, very small number of scenarios, it's the right tool for the job.
903.
▲
by
Twisol
8y ago
By "mix declarations with code", do you mean the ability to put local variables like `int x;` in locations other than immediately at the start of a function? I don't understand why this is a bad thing.
904.
▲
by
Twisol
8y ago
To be fair, the issue of ergonomics is an artifact of C only. In a language with proper sum types (or as I like to think of them, "better enums"), the pattern would look more like this: match library_function(arg) { Ok
905.
▲
by
Twisol
8y ago
If you need something quick-and-dirty, you can maintain an extra `["length"]` field on your table to cache that information. If you want something more polished, use a proxy table with custom methods/metamethods mediating acc
906.
▲
by
Twisol
8y ago
> Is your research related to programming languages? Yep: I just finished a Master's degree with a focus on programming language semantics and analysis. I'm interested in all kinds of static analyses and type systems -- prefera
907.
▲
by
Twisol
8y ago
Oh, that's very cool! I had a similar idea years ago, but I didn't have the technical chops to pursue it at the time, and I ended up losing interest. I think this would actually be even more useful in the kind of architecture I&
908.
▲
by
Twisol
8y ago
> Additionally, we don't have a mature theoretical framework for making the comparisons. This is really the problem. As much as I have strong opinions and beliefs about how to architect code, every argument I come up with boils down
909.
▲
by
Twisol
8y ago
For what it’s worth, evidence has come out (explained well by this PBS Space Time episode [1]) that makes the “gravity propagates over more than three spatial dimensions” theory a bit less likely. [1] https://youtu.be/3HYw6v
910.
▲
by
Twisol
8y ago
There's a saying along the lines of, the purpose of a tool is determined by how its users use it. For instance, security dialogs are often useless because users blindly click through. Is this a human problem? Yes, absolutely. Does that
911.
▲
by
Twisol
8y ago
'cbau, if you do make it public, I would humbly suggest making it very difficult for people to send you feedback. It would be awful if something as useful to you as this became something you "have" to maintain and keep up-t
912.
▲
by
Twisol
8y ago
This basic idea has deeply infected how I approach software architecture and design. When someone asks me why I wrote something a particular way, it's usually because I'm trying to keep the imperative/environmental concerns s
913.
▲
by
Twisol
8y ago
To be only a little more precise, every proposition becomes a type of its own. The AND operator forms product types, the OR operator forms sum types, IMPLIES forms a function type... The proof of a theorem turns into an inhabitant of the th
914.
▲
by
Twisol
8y ago
Thanks -- that was a very informative link. It sounds like an awful situation for everyone. I genuinely didn't mean to put down your original comment. I've been badly misunderstood in the past, and have reacted poorly to those rea
915.
▲
by
Twisol
8y ago
That's correct. But the article is making a subtly different comparison, which the parent is responding to. Specifically, with one string-literal argument, f`hi` and f(`hi`) are nearly identical from the perspective of the caller, as l
916.
▲
by
Twisol
8y ago
Sorry, my bad. I just couldn't believe someone could be so dismissive of someone else's experience -- I wasn't sure if I was reading a genuine opinion or a parody. I guess I fell for that myself.
917.
▲
by
Twisol
8y ago
This comment is a stunning example of Poe's law. https://en.wikipedia.org/wiki/Poe's_law
918.
▲
by
Twisol
8y ago
I have no particular stake in the specifics of AMP here, but X being a subset of Y does _not_ mean that X is necessarily no more complex than Y. Adding restrictions on something necessarily gives a subset of the original thing, but abiding
919.
▲
by
Twisol
8y ago
I rather inelegantly attempted to describe this as "a twisty and a pushy" to a friend today, while mimicking the animation with my hands. There is no work-appropriate way to do this. :|
920.
▲
by
Twisol
8y ago
I'm happy to see 3Blue1Brown's most recent video [0] get a mention in this article! He does a great job of explaining quaternions though visual intuition. (I do think simply calling Grant a "math animator" is selling him
921.
▲
by
Twisol
8y ago
> this is one of those low-effort, doesn't matter changes antirez, at least, says otherwise. > [...] to change the documentation, deprecate the API and add a new one, change the INFO fields, [...]
922.
▲
by
Twisol
8y ago
It's also used in more musical contexts, as with horns and trumpets -- for instance, "to toot one's own horn". (Animals with large trunks, like elphants and mastodons, would be considered to trumpet.) The fact that a far
923.
▲
by
Twisol
8y ago
I'm going to go out on a limb and guess that you may not be aware of what "!=" means. They are saying that "people who can't think for themselves" -- the original argument -- are not the same as "people wh
924.
▲
by
Twisol
8y ago
Source and more info: https://support.cloudflare.com/hc/en-us/articles/200168236-W...
925.
▲
by
Twisol
8y ago
> “If you’re saying ‘even a kid can hack into this,’ you’re not getting the full story, which can have the impact of the average voter not understanding,” Manfra told BuzzFeed News. BuzzFeed's headline: "An 11-Year-Old Changed
926.
▲
by
Twisol
8y ago
Right, here's my implementation in Haskell: f x y = case x of Left a -> Left a Right b -> case y of Left a -> Left a Right c -> Right (b, c) Each `case` repre
927.
▲
by
Twisol
8y ago
9.3(d) was a real pain until I thought about how I'd write a function with type `(Either a b, Either a c) -> Either a (b, c)`. Before that, I kept wanting a negation operator. (EDIT: Looks like some of the exercises are getting shuf
928.
▲
by
Twisol
8y ago
> enganegmeny I honestly am not sure what word was intended to be here. Google suggested "engagement"?
929.
▲
by
Twisol
8y ago
I actually meant to reply to https://news.ycombinator.com/item?id=17612990 , which mentions http://youmightnotneedjquery.com/ as a point of comparison between jQuery and vanilla JS. For some reason I though
930.
▲
by
Twisol
8y ago
The `$.extend` example seems a little overdone -- isn't `Object.assign({}, objA, objB)` a sufficient replacement for most uses?
More ›