18 stories from 14 submitters
  1. 23
    Software designers, not engineers: An interview from alternative universe programming tomasp.net
    spdegabrielle avatar via spdegabrielle 19 days ago | cached | 3 comments
  2. 6
    Types from data: Making structured data first-class citizens in F# [2016] dotnet ml plt tomasp.net
    srid avatar via srid 1 month ago | cached | 1 comment
  3. 4
    Write your own Excel in 100 lines of F# dotnet tomasp.net
    srid avatar via srid 2 months ago | cached | no comments
  4. 20
    The Lost Ways of Programming: Commodore 64 BASIC historical tomasp.net
    mpweiher avatar via mpweiher 6 months ago | cached | 10 comments
  5. 2
    Data exploration calculus: Capturing the essence of exploratory data scripting practices programming tomasp.net
    alexkorban avatar via alexkorban 1 year ago | cached | no comments
  6. 6
    On architecture, urban planning and software construction practices tomasp.net
    alexkorban avatar via alexkorban 1 year ago | cached | no comments
  7. 25
    Would aliens understand lambda calculus? (2018) cogsci math plt tomasp.net
    sanxiyn avatar via sanxiyn 1 year ago | cached | 4 comments
  8. 4
    What should a Software Engineering course look like? practices tomasp.net
    GeoffWozniak avatar via GeoffWozniak 2 years ago | cached | 1 comment
  9. 25
    Programming as interaction: A new perspective for programming language research plt tomasp.net
    calvin avatar via calvin 2 years ago | cached | 18 comments
  10. 17
    What we talk about when we talk about monads pdf plt tomasp.net
    pushcx avatar via pushcx 3 years ago | cached | no comments
  11. 26
    Thinking the unthinkable: What we cannot think in programming plt tomasp.net
    yumaikas avatar via yumaikas 3 years ago | cached | 24 comments
  12. 15
    The design side of programming language design programming tomasp.net
    julienxx avatar via julienxx 3 years ago | cached | 4 comments
  13. 4
    The mythology of programming language ideas compsci culture tomasp.net
    calvin avatar via calvin 4 years ago | cached | 1 comment
  14. 4
    Why type-first development matters (2012) programming tomasp.net
    asthasr avatar via asthasr 4 years ago | cached | 1 comment
  15. 36
    Coeffects: Context-aware programming languages compsci programming tomasp.net
    taylskid avatar via taylskid 5 years ago | cached | 5 comments
  16. 8
    Miscomputation: Learning to live with errors practices programming tomasp.net
    mkremins avatar via mkremins 5 years ago | cached | 3 comments
  17. 4
    Against the definition of types compsci programming tomasp.net
    pushcx avatar via pushcx 5 years ago | cached | no comments
  18. 5
    What can Programming Language Research Learn from the Philosophy of Science? compsci philosophy programming tomasp.net
    beala avatar via beala 6 years ago | cached | 1 comment