zenhack

49 ms·

151.
by zenhack 8y ago
More or less, yeah. Most of the language-aware optimization in ghc happens in an intermediate form that still carries the types, and then ultimately it spits out code that just has side effects as a result of evaluation like every other lan
152.
by zenhack 8y ago
I think you're right in that ghc's actual implementation is something like that, but it is a bit lacking in describing the semantics. To see why, imagine functions: getLine :: RealWorld -> (String, RealWorld) putLine :: RealWor
153.
by zenhack 8y ago
> Take my colleague Connie Loizos’ article from yesterday reporting on a new venture fund. The text itself is about 3.5 kilobytes uncompressed, but the total payload of the page if nothing is cached is more than 10 MB, or more than 3000x
154.
by zenhack 8y ago
Mostly automation -- you don't have to actually craft the list. It will just spot stuff it thinks it should be blocking and do so. And if you need to correct it (uncommon in my experience) the UI for doing so is right there next to the
155.
by zenhack 8y ago
In particular, the point is to make it so that the thing you store can't actually be used to authenticate -- only to verify. So if you're doing it right, the client can't just send the hash, because that wouldn't actuall
156.
by zenhack 8y ago
It has an input method that lets you type the non ASCII characters more easily. The default uses the super key (windows key) like alt uses alt, bit there's also a mode that allows you to prefix things with ., So e.g. to get rho you typ
157.
by zenhack 8y ago
Not one of those languages has a construct equivalent to Haskell's type classes.
158.
by zenhack 8y ago
The layout is also broken on Firefox mobile for Android (not a good impression for a website for an Android phone...). The text on the first slide runs off the screen, the second slide is just blank? And the slide with tech specs has the te
159.
by zenhack 8y ago
What you're proposing sounds like cbor and/or messagepack (which are virtually identical in their design), or argdata[1]. I agree it's a pretty solid spot in the design space. [1]: https://github.com/NuxiNL&#x
160.
by zenhack 8y ago
Realistically if you've got commits in a public git repo, your email address is public no matter how they got there.
161.
by zenhack 8y ago
They'd also have to stop being based in Europe (they're officially headquartered in Ireland, because tax evasion), and (here's the kicker): stop doing business with all of Europe. Even if they had to say screw it and not do a
162.
by zenhack 8y ago
In this context it doesn't really matter that it's the "default", just that it's supported by the distro maintainers, and so receiving security updates regardless of what the PSF supports.
163.
by zenhack 8y ago
It will probably be a fair bit longer than that before 2.7 stops being relevant. 2.7 is still the default system Python on a lot of Linux distros, which will be in vendor support for longer. It doesn't really matter if the fixes are co
164.
by zenhack 8y ago
Ah, That was likely my issue then.
165.
by zenhack 8y ago
How is your experience of its performance? The last time I tried it I found it made everything unusably slow; disabling that one plugin made an absurd difference in the responsiveness of the machine.
166.
by zenhack 8y ago
I feel like most of the trouble developers have with Git is pretty shallow, and it's a shame. It's not a tool I would want to get non-programmers to use (which may be a problem if you've got design folks on your team as wel
167.
by zenhack 9y ago
Yeah, that's an actually reasonable argument (I don't buy it either, but it's coherent enough). But I honestly think most of the time people aren't making that argument, they're just complaining about the typed la
168.
by zenhack 9y ago
Off the top of my head: * type inference * message passing concurrency
169.
by zenhack 9y ago
I am in general deeply skeptical of gradual typing, partially from my own underwhelming experiences with MyPy, and partially because 99% of the time when I hear someone advocating for them, they (1) take as given that dynamic typing makes f
170.
by zenhack 9y ago
The go compiler (already) inserts yields in a bunch of places that aren't IO or explicit synchronization points. And it's hard to predict the exact locations they'll be because much of it happens after some optimizations have
171.
by zenhack 9y ago
The thing is, the EU doesn't have sovereignty outside of Europe. If I actually have presence in the EU, or do business with the EU, that's one thing. But they can't tell some rando with a blog living in Boston to delete comme
172.
by zenhack 9y ago
Yeah, and there's a reason some places have laws against bugging offices. One key thing is that everyone should be clear on what's recorded and what's not, and "if it's written down" at least has the virtue of
173.
by zenhack 9y ago
There's a lot more physical movement involved in the end/ctrl+backspace method, even though it's fewer keystrokes. The big thing with Vim's modal editing is that it allows you to have keyboard shortcuts involving keys th
174.
by zenhack 9y ago
Yeah, I've seen a fair bit literate code that is awkwardly structured to satisfy ordering needed by the underlying language. It works better in languages that don't care about the order of declarations, of which there are many, bu
175.
by zenhack 9y ago
Yeah, multiple dispatch implies more than one argument involved in the dispatch decision at runtime . So that's not the same thing.
176.
by zenhack 9y ago
Unless it's via some new-fangled C++ feature I haven't heard of yet, I'm pretty sure C++ doesn't have multiple dispatch. Can you elaborate on what you're referring to?
177.
by zenhack 9y ago
You can screw up destructors in exactly the same ways. And it also serves to make sure you close the file at all . But again hence the value of having the lifetime of the object enforced by the type system.
178.
by zenhack 9y ago
I think pjmpl is referencing apis like this: with_file "hello.txt" (fun fd -> (* do stuff *) ) where you've basically created a c++ destructor style api with a lambda. It's certainly not "verification&qu
179.
by zenhack 9y ago
Okay, yeah, I should temper that statement. This stuff is super hard to actually study rigorously, and I certainly don't have a reference to support as broad and vague a claim as "tend to perform better." And of course "
180.
by zenhack 9y ago
Worth pointing out, the resource management strategy isn't even necessarily a net positive for performance. In typical GC'd languages you have a much richer design space for your memory system. You can move stuff around, you have

More ›