lelf

67,542 karma · joined April 20, 2011

  occasional c⊎k⊎haskell⊎erlang hacker
  #76d6ff

Microsoft Power Fx: the low-code programming language for everyone

powerapps.microsoft.com3 ptslelf

Personal Digital Assistant

en.wikipedia.org1 ptslelf

PureScript v0.14.0

github.com3 ptslelf

Programming, Logic and Semantics Lab

pls-lab.org8 ptslelf

Automated Reasoning as an Annoying Child

galois.com29 ptslelf

SrClient DLL Hijacking: a Windows Server 2012 0-day that won't be patched

blog.vonahi.io2 ptslelf

Rust's Runtime

blog.mgattozzi.dev1 ptslelf

California bill would decriminalize psychedelics

theguardian.com198 ptslelf

127

Mars Photo Booth

mars.nasa.gov113 ptslelf

How to C-Golf (2013)

blog.merovius.de1 ptslelf

Designing a RISC-V CPU, Part 1: Learning hardware design as a software engineer

mcla.ug2 ptslelf

How We ”Email” Hardware to Space (2014)

medium.com18 ptslelf

DOBF: A Deobfuscation Pre-Training Objective for Programming Languages

arxiv.org4 ptslelf

High-performance brain-to-text communication via imagined handwriting

biorxiv.org5 ptslelf

Named Tensor Notation

namedtensor.github.io1 ptslelf

List of Generic and Genericized Trademarks

en.wikipedia.org12 ptslelf

Linear-base makes writing Linear Haskell easy and fun

tweag.io97 ptslelf

History of FreeBSD – Part 4: BSD and TCP/IP

klarasystems.com1 ptslelf

Adrian Sampson's “Advanced Compilers” Made into Open-Source Online Course

cs.cornell.edu3 ptslelf

State of the Common Lisp ecosystem, 2020

lisp-journey.gitlab.io311 ptslelf

133

An Ionizing Particle from Outer Space Helped a Mario Speedrunner Save Time

thegamer.com3 ptslelf

Scheme Benchmarks

ecraven.github.io2 ptslelf

Automated Propositional Sequent Proofs in the Browser with Tau Prolog

philipzucker.com2 ptslelf

Rethinking Sanakirja

pijul.org71 ptslelf

Mt. Gox demise as told by a Bitcoin insider

bloomberg.com140 ptslelf

159

The APL Orchard

dyalog.com78 ptslelf

McCLIM – GUI toolkit for Common Lisp

common-lisp.net145 ptslelf

The visitor pattern is essentially the same thing as Church encoding

haskellforall.com177 ptslelf

134

The Lisperati1000 Computer

twitter.com108 ptslelf

Del.icio.us: About

del.icio.us2 ptslelf