| 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 |
