laarcnew | comments | discord | tags | ask | show | place | submit | /l/programminglogin
1.
Rebuilding Racket on Chez Scheme: An Experience Report (youtube.com)
by rain1 to video talk programming scheme lisp 13 hours ago | discuss
2.
ICFP 2019 Research Papers - ICFP 2019 (sigplan.org)
by rain1 to plt programming papers science 23 hours ago | discuss
3.
Things I Learnt The Hard Way (in 30 Years of Software Development) (juliobiason.net)
by rain1 to programming practices 4 days ago | discuss
4.
Learning Rust With Entirely Too Many Linked Lists (github.io)
by rain1 to rust programming 5 days ago | discuss
5.
Rethinking files (devever.net)
3 points by rain1 to software programming os operating.systems 11 days ago | discuss
6.
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (mit.edu)
2 points by akkartik to programming 11 days ago | 1 comment
7.
Why did I write my programming projects? (github.io)
5 points by rain1 to programming software 24 days ago | 1 comment
8.
Avian's Blog: Linux loader for DOS-like .com files (tablix.org)
2 points by rain1 to linux low.level programming 29 days ago | discuss
9.
Making the obvious code fast (github.io)
4 points by JungleCat to programming performance 60 days ago | discuss
10.
John Valois on Wait-Free Synchronization [video] (youtube.com)
by rain1 to concurrency talk video programming 33 days ago | discuss
11.
Grace Hopper - Nanoseconds [video] (youtube.com)
by JungleCat to videos programming performance 35 days ago | discuss
12.
Prolog’s Death | Synthèse (synthese.wordpress.com)
by rain1 to prolog programming plt programming.languages 36 days ago | discuss
13.
Testing | Writing an OS in Rust (phil-opp.com)
2 points by rain1 to programming os.dev rust 50 days ago | discuss
14.
Watch What I Do (1993) (acypher.com)
by nickpsecurity to ai programming book 41 days ago | discuss
15.
SubX: A minimalist assembly language for a subset of the x86 ISA (github.com)
4 points by akkartik to programming 68 days ago | 4 comments
16.
Flow - Language for Safe, Multi-Platform Apps w/ Modern UI (flow9.org)
by nickpsecurity to plt compilers programming portability 48 days ago | 1 comment
17.
Zarf Updates: What is ZIL anyway? (zarfhome.com)
2 points by rain1 to interactive.fiction software programming lisp historical 58 days ago | discuss
18.
Raycasting engine in vanilla Factorio [video] (youtube.com)
by JungleCat to games programming raycasting 53 days ago | discuss
19.
A grammar for HTML5 (trevorjim.com)
2 points by rain1 to html web plt programming 66 days ago | discuss
20.
Techniques for dealing with lack of motivation, malaise, depression [video] [1h] (youtube.com)
2 points by rain1 to video programming mental.health wellness 72 days ago | 1 comment
21.
Readscheme.org archive Bibliography of Scheme-related Research (github.com)
by rain1 to scheme programming plt archiving historical 66 days ago | discuss
22.
Muon: Modern, Low-level, Programming Language (github.com)
by nickpsecurity to plt programming 67 days ago | discuss
23.
Build systems are stupid | Átila on Code (atilaoncode.blog)
by rain1 to c unix build.systems programming 74 days ago | discuss
24.
Algebraic Topology of Programs (scriptcrafty.com)
by davidk01 to programming philosophy ideation 78 days ago | discuss
25.
Reddit PL Reading Group - Abstract Interpretation (reddit.com)
3 points by rain1 to plt programming reading 88 days ago | discuss
26.
Checked C - Microsoft Research (microsoft.com)
3 points by rain1 to formal.verification c plt programming safety 90 days ago | discuss
27.
How I Program: Four Example Projects (akkartik.name)
2 points by akkartik to programming 92 days ago | 12 comments
28.
A generalised solution to distributed consensus (acolyer.org)
3 points by rain1 to cs compsci distributed.systems programming algorithms research 97 days ago | discuss
29.
What, Why, and How of Formal Methods (cloudbootup.com)
2 points by davidk01 to formalmethods programming 94 days ago | discuss
30.
How I Became a Programmer (victorzhou.com)
2 points by vzhou842 to news programming 94 days ago | discuss
More

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

RSS (stories) | RSS (comments)

Search: