laarcnew | comments | discord | tags | ask | show | place | submit | /l/pltlogin
1.
Prolog’s Death | Synth├Ęse (synthese.wordpress.com)
by rain1 to prolog programming plt programming.languages 14 days ago | discuss
2.
Building fast interpreters in Rust (cloudflare.com)
2 points by rain1 to rust plt optimization compilers 34 days ago | discuss
3.
Flow - Language for Safe, Multi-Platform Apps w/ Modern UI (flow9.org)
by nickpsecurity to plt compilers programming portability 25 days ago | 1 comment
4.
A grammar for HTML5 (trevorjim.com)
2 points by rain1 to html web plt programming 43 days ago | discuss
5.
An Ode to the Granovetter Diagram (erights.org)
by rain1 to capabilities historical software plt 39 days ago | discuss
6.
Crawling out of the turing tarpit (rolfwr.net)
2 points by rain1 to bootstrapping compilers plt 50 days ago | discuss
7.
Readscheme.org archive Bibliography of Scheme-related Research (github.com)
by rain1 to scheme programming plt archiving historical 44 days ago | discuss
8.
Muon: Modern, Low-level, Programming Language (github.com)
by nickpsecurity to plt programming 45 days ago | discuss
9.
End-user programming (inkandswitch.com)
3 points by enkiv2 to plt 60 days ago | 7 comments
10.
Reddit PL Reading Group - Abstract Interpretation (reddit.com)
3 points by rain1 to plt programming reading 66 days ago | discuss
11.
Checked C - Microsoft Research (microsoft.com)
3 points by rain1 to formal.verification c plt programming safety 68 days ago | discuss
12.
Falcon: A Graph Manipulation Language for Heterogenous Systems (iisc.ernet.in)
2 points by nickpsecurity to parallel c plt graphs pdf slides 65 days ago | 1 comment
13.
The Three Projections of Doctor Futamura (sigfpe.com)
by nickpsecurity to plt programming compilers 73 days ago | 1 comment
14.
APL: A glimpse of heaven (vector.org.uk)
by enkiv2 to plt apl 79 days ago | discuss
15.
GNU Mes Reduced Binary Seed bootstrap for GNU Guix [video] (youtube.com)
3 points by rain1 to talk video bootstrapping compilers plt 88 days ago | discuss
16.
Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com)
5 points by rain1 to forth programming plt 93 days ago | discuss
17.
Compiling with Dependent Types (williamjbowman.com)
4 points by nickpsecurity to pdf compilers plt 92 days ago | discuss
18.
Let's #TalkConcurrency with Sir Tony Hoare, Joe Armstrong, Carl Hewitt [video] (youtube.com)
3 points by rain1 to concurrency plt programming talk video 94 days ago | discuss
19.
PL Reading Group - Week 4: Definitional Interpreters
5 points by rain1 to ask plt programming reading compsci 96 days ago | discuss
20.
(2004) Revisiting Coroutines - Ana Lucia de Moura, Roberto Ierusalimschy [pdf] (inf.puc-rio.br)
2 points by rain1 to cs plt coroutines 105 days ago | 1 comment

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: