Extracting Compiler Version from Compiled Binaries Using Jacinda

blog.vmchale.com
Read on Scour →
Feeds

Three Languages

blog.vmchale.com
Read on Scour →
Feeds

Better Vim Tags With Jacinda

blog.vmchale.com
Read on Scour →
Feeds

Theorems vs. Algorithms

blog.vmchale.com
Read on Scour →
Feeds

Laziness, A.k.a. Computer Science

blog.vmchale.com
Read on Scour →
Feeds

Unix As an IDE II

blog.vmchale.com
Read on Scour →
Feeds

The Unix Command-line As an IDE

blog.vmchale.com
Read on Scour →
Feeds

Utility of AWK

blog.vmchale.com
Read on Scour →
Feeds

All Programming Languages Should Have Linear Types

blog.vmchale.com
Read on Scour →
Feeds

Sed Examples in Jacinda

blog.vmchale.com
Read on Scour →
Feeds

Num Instances for ASTs

blog.vmchale.com
Read on Scour →
Feeds

Linear Types for Manipulating Expressions in the Lambda Calculus

blog.vmchale.com
Read on Scour →
Feeds

Linear Effects Handling

blog.vmchale.com
Read on Scour →
Feeds

C Converges to Intuitionistic Logic

blog.vmchale.com
Read on Scour →
Feeds

Logic Programming Doesn't Work in the Real World

blog.vmchale.com
Read on Scour →
Feeds

Egison's Pattern-matching via Logic Programming

blog.vmchale.com
Read on Scour →
Feeds

Lessons from Writing an Array Language Compiler

blog.vmchale.com
Read on Scour →
Feeds

Laconic Haskell

blog.vmchale.com
Read on Scour →
Feeds

Compiling Functions to Jumps

blog.vmchale.com
Read on Scour →
Feeds

Basic Blocks À La Appel

blog.vmchale.com
Read on Scour →
Feeds

Keyboard shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post actions

Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help