Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional (blog.vmchale.com)
90 points
Smaug123
a year ago
19 comments
2.
C is not suited to SIMD (2019) (blog.vmchale.com)
89 points
zetalyrae
a year ago
120 comments
3.
Type-Safe Pointers in ATS (blog.vmchale.com)
79 points
lelf
6 years ago
8 comments
4.
Outperforming Rust with Functional Programming (blog.vmchale.com)
16 points
nemoniac
8 years ago
5 comments
5.
Outperforming Rust with Functional Programming (blog.vmchale.com)
5 points
signa11
8 years ago
discuss
6.
Logic Programming Doesn't Work in the Real World (blog.vmchale.com)
4 points
vmchale
2 years ago
discuss
7.
Adequate J Matrix Performance (blog.vmchale.com)
4 points
jpf0
5 years ago
discuss
8.
Why Haskell Is Good (blog.vmchale.com)
4 points
kryptiskt
8 years ago
discuss
9.
Practical ATS (blog.vmchale.com)
4 points
colinprince
9 years ago
discuss
10.
Type-Safe Pointers in ATS (blog.vmchale.com)
3 points
kfl
6 years ago
discuss
11.
Calling System Functions in a JIT (blog.vmchale.com)
2 points
vmchale
2 years ago
1 comment
12.
ATS as a Systems Programming Language / Rust (blog.vmchale.com)
2 points
chespinoza
8 years ago
discuss
13.
Python Is Dynamically Typed (blog.vmchale.com)
1 point
vmchale
a year ago
1 comment
14.
Testing Is Orthogonal to Correctness (blog.vmchale.com)
1 point
pizza
a year ago
discuss
15.
J One-Liners (blog.vmchale.com)
1 point
zzq
5 years ago
discuss
16.
Polyglot Is the Fastest Code-Counting Tool Available (blog.vmchale.com)
1 point
boyter
8 years ago
discuss
17.
Computing Catalan Numbers Using Dynamorphisms (blog.vmchale.com)
1 point
setra
9 years ago
discuss