vmchale

47 ms·

541.
by vmchale 7y ago
Didn't Iverson win the Turing award for ALP?
542.
by vmchale 7y ago
> Most enterprise post-mortems I've read will deliver pages and pages explaining (or justifying) poor system architectures. But they will never, ever criticize the executive or tech lead who decided on that structure to begin with.
543.
by vmchale 7y ago
Did they have to write the runtime in the same language? They could've used an ML with GC and it would've been better (for a compiler). It doesn't really have any functional programming paradigms. Pattern matching is present
544.
by vmchale 7y ago
This is different from Julia. I don't really know why you'd write a project of this sort in C.
545.
by vmchale 7y ago
Lots of languages are well-suited to compilers. See e.g. Haskell accelerate. I don't really know why you'd use Rust instead of a GC language from the ML family.
546.
by vmchale 7y ago
Why?
547.
by vmchale 7y ago
Not that you should replace Rust with Haskell, but Haskell would've been a better choice than Scala. It has its own runtime, but it's not difficult to call Haskell code from C or ATS or whatever.
548.
by vmchale 7y ago
> We may be entering a time of ‘subscription fatigue.'” Also know as... not wanting to spend three times as much? lol.
549.
by vmchale 7y ago
> Why isn't some big company putting its weight behind Julia considering what it has to offer in the field of data science? Same as J > Tech is full of inertia, paradoxically. I don't think it's paradoxical. Novelty is
550.
by vmchale 7y ago
> All the projects I've worked on have exploited parallelism through message passing What? Lots of parallelism doesn't use message passing!
551.
by vmchale 7y ago
> The only mainstream languages with this kind of composable parallelism are Go and Erlang Concurrency? Go is not good at parallelism, compared to, say, Haskell.
552.
by vmchale 7y ago
Defining models with YAML sounds like a fucking disaster.
553.
by vmchale 7y ago
The nix language is a bit hinky; unfortunately nothing available even approaches it in terms of capabilities.
554.
by vmchale 7y ago
Location: Chicago, IL Remote: Yes, preferred Willing to relocate: Yes Technologies: Haskell (2 years industrial experience), knowledge of languages such as ATS and J as well Résumé/CV: http://vmchale.com/static/res
555.
by vmchale 7y ago
Might be time for me to stop using XMonad, unfortunately. Pretty annoying IMO. XMonad works exactly how I want it to.
556.
by vmchale 7y ago
> It's literally designed to be forked and used in whatever way the user/developer sees fit. You can't just unrealistically hope that a large company won't exploit it in whatever way they can. You could GPL it...
557.
by vmchale 7y ago
People use non-arithmetic infix operators in Haskell constantly. It's great. It's also pretty easy to add prefix operators in e.g. Haskell or ATS (for something like square root)
558.
by vmchale 8y ago
I don't like Rust for this purposes. It doesn't have higher-kinded types and thus no applicatives or monads, which sort of misses the point. I also object to the idea that parser combinators are an alternative to parser generators
559.
by vmchale 8y ago
I like http://www.cs.nott.ac.uk/~pszgmh/monparsing.pdf
560.
by vmchale 8y ago
Tenured professors generally care about the grad students and postdocs under their tutelage, which can push them towards submitting to a closed journal.
561.
by vmchale 8y ago
It's possible to beat the speed of cat, actually. See e.g. https://hub.darcs.net/vmchale/fastcat . One trick is to not free the memory used by the buffer :p
562.
by vmchale 8y ago
It's more that it uses concurrency intelligently. The underlying stuff is similar to GNU grep.
563.
by vmchale 8y ago
step 1: read articles on how to manage your time better on Hacker News
564.
by vmchale 8y ago
> being usable from any language is a really big boon. Personally, I'm not particularly happy with the idea that I would use something inferior (like YAML) because various mainstream languages are bad and don't make more sophis
565.
by vmchale 8y ago
Very neat, thank you!
566.
by vmchale 8y ago
Is GHC the only project that uses this?
567.
by vmchale 8y ago
>My guess would be modern C compilers, powered by decades of R&D and programming, would be able to optimize just as well and possibly better. GHC often produces more efficient code than the LLVM backend.
568.
by vmchale 8y ago
It has a backend via C and thus GCC, but it enables some things that plain C doesn't due to making certain things easier, plus the ABI for functional programming stuff matches up very cleanly with the hyper-optimized stuff.
569.
by vmchale 8y ago
> Did it gain any real world traction in the meantime? Still a research language, but pretty fun.
570.
by vmchale 8y ago
You can declare an API with ATS types that ends up being safer than the C API, so when using the library you have greater safety than a C user.

More ›