vmchale

7 ms·

31.
by vmchale 2y ago
>it's unfortunately pretty obscure NumPy is partly inspired by APL and descendants. One of the few places that programmers commonly get performance afforded by hardware!
32.
by vmchale 2y ago
I've been impressed but what I've seen of the Phoenix web framework. https://youtu.be/MZvmYaFkNJI On the F# side: "Where are the F# jobs? I've checked the various FP-centric job-sites - they're as b
33.
Compiling Array Languages for SIMD [pdf](vmchale.com)
52 points by vmchale 2y ago|13 comments
34.
by vmchale 2y ago
One of my blog posts was posted and got some comments. This is a more refined take in the vein of "C is Not Suited to SIMD"
35.
by vmchale 2y ago
> perhaps a C compiler only needs to represent that function as an intrinsic instead, to give itself a chance to later replace it either with the function call or some SIMD instruction I gesture to this in the blog post: > In C, one w
36.
by vmchale 2y ago
From highway: > Does what you expect: Highway is a C++ library with carefully-chosen functions that map well to CPU instructions without extensive compiler transformations. The resulting code is more predictable and robust to code change
37.
by vmchale 2y ago
Un flic was great.
38.
by vmchale 2y ago
It’s objecting to the Cass report, which doesn’t include any new original data or experimental results. It’s fine to object to bad faith medical publications about an extreme minority, which is being granted authority by the NHS while more
39.
by vmchale 2y ago
backtracking is perilous in general; logic programming languages have really nice abilities for such but I don't know how to avoid pathological inefficiency.
40.
by vmchale 2y ago
Girard has some commentary scattered about his writing. The search algorithms for logic programming are simply slow, it's a very interesting idea in programming languages, but there's a reason it's not widely used. > PROLO
41.
Show HN: Jacinda, a functional Awk (text stream processing on the comamnd-line)(hackage.haskell.org)
81 points by vmchale 2y ago|12 comments
42.
by vmchale 2y ago
SE Asia/East Asia at least have much harsher attitudes on drugs. US is pretty forgiving to drug users &c.
43.
by vmchale 2y ago
APL interpreters are tree-walking, but they're backed by C procedures. Then GCC optimizes quite well and you get excellent performance! With stuff like vector instructions. Getting on par with GCC/Clang with your own JIT is pretty
44.
by vmchale 2y ago
I wrote a blog post on writing a JIT that can handle FFI calls: http://blog.vmchale.com/article/jit If you want the full monty, I think you'll have to read the LLVM documentation on JIT linking: https:/&#x2F
45.
by vmchale 3y ago
its parser is buggy! https://github.com/BurntSushi/xsv/issues/337 (I ran into this issue myself)
46.
by vmchale 3y ago
Things have diverged for the US and Europe pretty significantly post-pandemic. I'd be curious to see updated data.
47.
by vmchale 3y ago
Newspapers were funded by classifieds at their peak. It's always been about advertising!
48.
by vmchale 3y ago
> We've added major features such as the try operator (?), const generics, generic associated types (GATs), and of course: async/.await. Out of those four features, three are what can be considered to be "effects". I
49.
by vmchale 3y ago
Shutting down nuclear plants surely couldn't have helped.
50.
Logic Programming Doesn't Work in the Real World(blog.vmchale.com)
4 points by vmchale 3y ago|0 comments
51.
Calling System Functions in a JIT(blog.vmchale.com)
2 points by vmchale 3y ago|1 comments
52.
by vmchale 3y ago
See also LLVM's data structures for more experienced handling of JITs: https://llvm.org/docs/JITLink.html#introduction
53.
by vmchale 3y ago
It is statically typed, there's a lot of depth to that side of things (Curry-Howard isomorphism)
54.
by vmchale 3y ago
> People use numpy because python is stupidly slow. People use Python because numpy isn't slow! It works quite well for its domain.
55.
by vmchale 3y ago
Python manages to have decent performance because NumPy uses an APL-like model and it happens to skirt the design flaws (dynamic typing, interpreted). J for instance has a tree-walking interpreter written in C that performs well! Ruby'
56.
by vmchale 3y ago
Sum types are much more useful with pattern match exhaustiveness checking for sure.
57.
by vmchale 3y ago
The core team refuses to fix straightforward bugs: https://github.com/elm/compiler/issues/1773
58.
by vmchale 3y ago
> It is clear that Elm is understaffed, to say the least. The core team treat bug reports as insults: https://github.com/elm/compiler/issues/1773
59.
by vmchale 3y ago
It's not rock-solid nor complete. The authors refused to fix a parser error related to negative literals: https://github.com/elm/compiler/issues/1773
60.
by vmchale 3y ago
Having a garbage collector is good in a compiler.

More ›