/l/plt | laarc

laarc

1.		Xah Lee - Why I Hate Exceptions (2014) (xahlee.info)
		2 points by rain1 to programming plt 80 days ago \| discuss
2.		Antoyo/tiger-rs: Modern Compiler Implementation in ML in Rust (github.com)
		by rain1 to compilers plt 70 days ago \| discuss
3.		ICFP 2019 Research Papers - ICFP 2019 (sigplan.org)
		by rain1 to plt programming papers science 96 days ago \| discuss
4.		Prolog’s Death \| Synthèse (synthese.wordpress.com)
		by rain1 to prolog programming plt programming.languages 132 days ago \| discuss
5.		Building fast interpreters in Rust (cloudflare.com)
		2 points by rain1 to rust plt optimization compilers 152 days ago \| discuss
6.		Flow - Language for Safe, Multi-Platform Apps w/ Modern UI (flow9.org)
		by nickpsecurity to plt compilers programming portability 143 days ago \| 1 comment
7.		A grammar for HTML5 (trevorjim.com)
		2 points by rain1 to html web plt programming 161 days ago \| discuss
8.		An Ode to the Granovetter Diagram (erights.org)
		by rain1 to capabilities historical software plt 157 days ago \| discuss
9.		Crawling out of the turing tarpit (rolfwr.net)
		2 points by rain1 to bootstrapping compilers plt 168 days ago \| discuss
10.		Readscheme.org archive Bibliography of Scheme-related Research (github.com)
		by rain1 to scheme programming plt archiving historical 161 days ago \| discuss
11.		Muon: Modern, Low-level, Programming Language (github.com)
		by nickpsecurity to plt programming 163 days ago \| discuss
12.		End-user programming (inkandswitch.com)
		3 points by enkiv2 to plt 178 days ago \| 7 comments
13.		Reddit PL Reading Group - Abstract Interpretation (reddit.com)
		3 points by rain1 to plt programming reading 184 days ago \| discuss
14.		Checked C - Microsoft Research (microsoft.com)
		3 points by rain1 to formal.verification c plt programming safety 185 days ago \| discuss
15.		Falcon: A Graph Manipulation Language for Heterogenous Systems (iisc.ernet.in)
		2 points by nickpsecurity to parallel c plt graphs pdf slides 183 days ago \| 1 comment
16.		The Three Projections of Doctor Futamura (sigfpe.com)
		by nickpsecurity to plt programming compilers 191 days ago \| 1 comment
17.		APL: A glimpse of heaven (vector.org.uk)
		by enkiv2 to plt apl 197 days ago \| discuss
18.		GNU Mes Reduced Binary Seed bootstrap for GNU Guix [video] (youtube.com)
		3 points by rain1 to talk video bootstrapping compilers plt 206 days ago \| discuss
19.		Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com)
		5 points by rain1 to forth programming plt 211 days ago \| discuss
20.		Compiling with Dependent Types (williamjbowman.com)
		4 points by nickpsecurity to pdf compilers plt 210 days ago \| discuss
21.		Let's #TalkConcurrency with Sir Tony Hoare, Joe Armstrong, Carl Hewitt [video] (youtube.com)
		3 points by rain1 to concurrency plt programming talk video 212 days ago \| discuss
22.		PL Reading Group - Week 4: Definitional Interpreters
		5 points by rain1 to ask plt programming reading compsci 214 days ago \| discuss