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.
Compiling Array Languages for SIMD [pdf] (vmchale.com)
52 points
vmchale
a year ago
13 comments
5.
The Obsolescence of Political Definitions (1991) (vmchale.com)
37 points
vmchale
9 months ago
130 comments
6.
Outperforming Rust with Functional Programming (blog.vmchale.com)
16 points
nemoniac
8 years ago
5 comments
7.
Outperforming Rust with Functional Programming (blog.vmchale.com)
5 points
signa11
8 years ago
discuss
8.
Logic Programming Doesn't Work in the Real World (blog.vmchale.com)
4 points
vmchale
2 years ago
discuss
9.
Adequate J Matrix Performance (blog.vmchale.com)
4 points
jpf0
5 years ago
discuss
10.
Why Haskell Is Good (blog.vmchale.com)
4 points
kryptiskt
8 years ago
discuss
11.
Practical ATS (blog.vmchale.com)
4 points
colinprince
9 years ago
discuss
12.
Type-Safe Pointers in ATS (blog.vmchale.com)
3 points
kfl
6 years ago
discuss
13.
Calling System Functions in a JIT (blog.vmchale.com)
2 points
vmchale
2 years ago
1 comment
14.
Utopia and Historical Actions (vmchale.com)
2 points
vmchale
2 months ago
discuss
15.
ATS as a Systems Programming Language / Rust (blog.vmchale.com)
2 points
chespinoza
8 years ago
discuss
16.
Python Is Dynamically Typed (blog.vmchale.com)
1 point
vmchale
a year ago
1 comment
17.
Utopia and Historical Actions (vmchale.com)
1 point
vmchale
22 days ago
discuss
18.
Testing Is Orthogonal to Correctness (blog.vmchale.com)
1 point
pizza
a year ago
discuss
19.
J One-Liners (blog.vmchale.com)
1 point
zzq
5 years ago
discuss
20.
Polyglot Is the Fastest Code-Counting Tool Available (blog.vmchale.com)
1 point
boyter
8 years ago
discuss
21.
Computing Catalan Numbers Using Dynamorphisms (blog.vmchale.com)
1 point
setra
9 years ago
discuss