Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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