laarcnew | comments | discord | tags | ask | show | place | submit | /l/programminglogin
1.
Raycasting engine in vanilla Factorio [video] (youtube.com)
by JungleCat to games programming raycasting 1 day ago | discuss
2.
Making the obvious code fast (github.io)
4 points by JungleCat to programming performance 8 days ago | discuss
3.
Zarf Updates: What is ZIL anyway? (zarfhome.com)
by rain1 to interactive.fiction software programming lisp historical 6 days ago | discuss
4.
SubX: A minimalist assembly language for a subset of the x86 ISA (github.com)
4 points by akkartik to programming 16 days ago | 4 comments
5.
A grammar for HTML5 (trevorjim.com)
2 points by rain1 to html web plt programming 14 days ago | discuss
6.
Readscheme.org archive Bibliography of Scheme-related Research (github.com)
by rain1 to scheme programming plt archiving historical 14 days ago | discuss
7.
Techniques for dealing with lack of motivation, malaise, depression [video] [1h] (youtube.com)
2 points by rain1 to video programming mental.health wellness 20 days ago | 1 comment
8.
Muon: Modern, Low-level, Programming Language (github.com)
by nickpsecurity to plt programming 15 days ago | discuss
9.
Build systems are stupid | Átila on Code (atilaoncode.blog)
by rain1 to c unix build.systems programming 22 days ago | discuss
10.
Algebraic Topology of Programs (scriptcrafty.com)
by davidk01 to programming philosophy ideation 26 days ago | discuss
11.
Reddit PL Reading Group - Abstract Interpretation (reddit.com)
3 points by rain1 to plt programming reading 36 days ago | discuss
12.
Checked C - Microsoft Research (microsoft.com)
3 points by rain1 to formal.verification c plt programming safety 38 days ago | discuss
13.
How I Program: Four Example Projects (akkartik.name)
2 points by akkartik to programming 41 days ago | 12 comments
14.
A generalised solution to distributed consensus (acolyer.org)
3 points by rain1 to cs compsci distributed.systems programming algorithms research 45 days ago | discuss
15.
What, Why, and How of Formal Methods (cloudbootup.com)
2 points by davidk01 to formalmethods programming 42 days ago | discuss
16.
How I Became a Programmer (victorzhou.com)
2 points by vzhou842 to news programming 42 days ago | discuss
17.
Gremlin: A Graph-based, Programming Language (slideshare.net)
by nickpsecurity to programming languages compsci slides 37 days ago | discuss
18.
Monoids and Graph Processing - frankmcsherry (github.com)
3 points by rain1 to news programming algorithms math 47 days ago | discuss
19.
Multithreading within a transducer (juxt.pro)
2 points by yogthos to programming 43 days ago | discuss
20.
The Three Projections of Doctor Futamura (sigfpe.com)
by nickpsecurity to plt programming compilers 43 days ago | 1 comment
21.
CSV is not a standard | Chris Warrick (chriswarrick.com)
2 points by rain1 to programming standards specification data.interchange formats 51 days ago | discuss
22.
Inform: Past, Present, Future (2018) (emshort.com)
by akkartik to programming 49 days ago | discuss
23.
Serverless collaborative editor using CRDT (thegeez.net)
2 points by yogthos to programming 53 days ago | discuss
24.
Choosing properties for property-based testing (fsharpforfunandprofit.com)
2 points by nickpsecurity to programming testing f# 53 days ago | discuss
25.
The Emoji That Killed Chrome! [video] (youtube.com)
5 points by rain1 to programming debugging bugs conference talk 59 days ago | discuss
26.
A JSON/EDN browser for the terminal (github.com)
3 points by yogthos to programming 56 days ago | discuss
27.
The hard part in becoming a command line wizard (johndcook.com)
3 points by RiderOfGiraffes to programming dev 56 days ago | discuss
28.
Linda Rising, "The Road, Christopher Alexander, and Good Software Design" (1997) (researchgate.net)
by akkartik to programming 53 days ago | 1 comment
29.
Hyperscan: A Fast Multi-pattern Regex Matcher for Modern CPUs (branchfree.org)
2 points by nickpsecurity to programming optimization regex 56 days ago | discuss
30.
A Survey of Symbolic Execution Techniques (2018) (arxiv.org)
2 points by nickpsecurity to programming security formalmethods compsci 57 days ago | 1 comment
More

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

RSS (stories) | RSS (comments)

Search: