laarcnew | comments | discord | tags | ask | show | place | submit | /l/dev|programminglogin
1.
Reddit PL Reading Group - Abstract Interpretation (reddit.com)
2 points by rain1 to plt programming reading 1 day ago | discuss
2.
Checked C - Microsoft Research (microsoft.com)
2 points by rain1 to formal.verification c plt programming safety 2 days ago | discuss
3.
Gremlin: A Graph-based, Programming Language (slideshare.net)
by nickpsecurity to programming languages compsci slides 2 days ago | discuss
4.
How I Program: Four Example Projects (akkartik.name)
2 points by akkartik to programming 5 days ago | 10 comments
5.
What, Why, and How of Formal Methods (cloudbootup.com)
2 points by davidk01 to formalmethods programming 6 days ago | discuss
6.
How I Became a Programmer (victorzhou.com)
2 points by vzhou842 to news programming 7 days ago | discuss
7.
Multithreading within a transducer (juxt.pro)
2 points by yogthos to programming 8 days ago | discuss
8.
A generalised solution to distributed consensus (acolyer.org)
3 points by rain1 to cs compsci distributed.systems programming algorithms research 10 days ago | discuss
9.
Monoids and Graph Processing - frankmcsherry (github.com)
3 points by rain1 to news programming algorithms math 11 days ago | discuss
10.
The Three Projections of Doctor Futamura (sigfpe.com)
by nickpsecurity to plt programming compilers 8 days ago | 1 comment
11.
CSV is not a standard | Chris Warrick (chriswarrick.com)
2 points by rain1 to programming standards specification data.interchange formats 15 days ago | discuss
12.
Inform: Past, Present, Future (2018) (emshort.com)
by akkartik to programming 13 days ago | discuss
13.
Serverless collaborative editor using CRDT (thegeez.net)
2 points by yogthos to programming 17 days ago | discuss
14.
Choosing properties for property-based testing (fsharpforfunandprofit.com)
2 points by nickpsecurity to programming testing f# 18 days ago | discuss
15.
The Emoji That Killed Chrome! [video] (youtube.com)
5 points by rain1 to programming debugging bugs conference talk 23 days ago | discuss
16.
A JSON/EDN browser for the terminal (github.com)
3 points by yogthos to programming 21 days ago | discuss
17.
The hard part in becoming a command line wizard (johndcook.com)
3 points by RiderOfGiraffes to programming dev 21 days ago | discuss
18.
Linda Rising, "The Road, Christopher Alexander, and Good Software Design" (1997) (researchgate.net)
by akkartik to programming 17 days ago | 1 comment
19.
Hyperscan: A Fast Multi-pattern Regex Matcher for Modern CPUs (branchfree.org)
2 points by nickpsecurity to programming optimization regex 21 days ago | discuss
20.
A Survey of Symbolic Execution Techniques (2018) (arxiv.org)
2 points by nickpsecurity to programming security formalmethods compsci 22 days ago | 1 comment
21.
What are some good tiny projects for learning a language or technique? (lobste.rs)
2 points by nickpsecurity to ask education programming 22 days ago | 1 comment
22.
Composing Higher-Order Components (Making a React toolkit) (medium.com)
by emily to react dev js fp 21 days ago | discuss
23.
Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com)
5 points by rain1 to forth programming plt 28 days ago | discuss
24.
Rich's sh (POSIX shell) tricks (etalabs.net)
by rain1 to shell programming scripting 21 days ago | discuss
25.
Lightweight Contexts: An OS Abstraction for Safety and Performance (mpi-sws.org)
by nickpsecurity to osdev security optimization programming freebsd 22 days ago | 1 comment
26.
Haujobb Amiga Framework (pouet.net)
2 points by JungleCat to amiga programming 25 days ago | discuss
27.
Validating a Coordination Protocol with Alloy (cloudbootup.com)
4 points by davidk01 to alloy formalmethods programming 27 days ago | discuss
28.
The USE Method: emergency checklist for performance issues (brendangregg.com)
3 points by akkartik to programming devops 27 days ago | discuss
29.
A Survey of Runtime Policy Enforcement Techniques and Implementations (2011) (core.ac.uk)
by nickpsecurity to pdf security programming 24 days ago | 1 comment
30.
Can Programming Be Liberated, Period? [pdf] (weizmann.ac.il)
by manuel to dev philosophy programming essays 25 days ago | discuss
More

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

RSS (stories) | RSS (comments)

Search: