Stories tagged as programming – Use when every tag or no specific tag applies
  1. 4
    Composing Programs book education programming composingprograms.com
    friendlysock avatar via friendlysock 6 hours ago | cached | no comments
  2. 1
    SIFT: Design and Analysis of Fault-Tolerant Computer for Aircraft Control (1978) ☶ pdf formalmethods hardware historical programming microsoft.com
    nickpsecurity avatar via nickpsecurity 9 hours ago | cached | no comments
  3. 5
    Tetris ai games programming colinfahey.com
    Yogthos avatar via Yogthos 27 hours ago | cached | 1 comment
  4. 1
    IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (2015) ☶ pdf formalmethods plt programming security cseweb.ucsd.edu
    nickpsecurity avatar via nickpsecurity 32 hours ago | cached | no comments
  5. 15
    Foundations and Trends in Programming Languages: Program Synthesis ☶ pdf compsci formalmethods programming microsoft.com
    nickpsecurity avatar via nickpsecurity 34 hours ago | cached | no comments
  6. 7
    Boolean short circuiting is not guaranteed in SQL databases programming morningcoffee.io
    calvin avatar via calvin 45 hours ago | cached | 2 comments
  7. 9
    The Complexity Trap: Think Before You Leap programming danielwestheide.com
    jan avatar via jan 2 days ago | cached | no comments
  8. 3
    Do the right thing: IT in the age of social responsibility video culture programming youtube.com
    lattera avatar via lattera 3 days ago | cached | 3 comments
  9. 8
    Strange Loop 2018: You are a Program Synthesizer (video + transcript) design formalmethods plt programming pathsensitive.com
    jkoppel avatar authored by jkoppel 3 days ago | cached | 10 comments
  10. 8
    Why Futhark (sometimes) goes wrong programming futhark-lang.org
    calvin avatar via calvin 4 days ago | cached | 2 comments
  11. 6
    Active Text for Structuring and Understanding Source Code (1996) ☶ pdf compsci historical programming visualization pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | no comments
  12. 2
    Dependency Abstraction programming scaling beza1e1.tuxen.de
    qznc avatar authored by qznc 4 days ago | cached | 6 comments
  13. 3
    Stephen Kell, "The Mythical Matched Modules" (2009) pdf practices programming cl.cam.ac.uk
    akkartik avatar via akkartik 4 days ago | cached | no comments
  14. 27
    Don't use the greater than sign in programming programming llewellynfalco.blogspot.com
    Sietsebb avatar via Sietsebb 5 days ago | cached | 22 comments
  15. 3
    Behavioral Programming pdf practices programming wisdom.weizmann.ac.il
    akkartik avatar via akkartik 5 days ago | cached | no comments
  16. 1
    Automatic Python Linters and Formatters for Arcanist programming crondev.blog
    kunalgrover05 avatar authored by kunalgrover05 5 days ago | cached | no comments
  17. 2
    Limbo: Scaling Software Collaboration practices programming medium.com
    akkartik avatar via akkartik 5 days ago | cached | no comments
  18. 8
    Testing Yourself - Growing through Refactoring practices programming michaelfeathers.silvrback.com
    mfeathers avatar authored by mfeathers 5 days ago | cached | 4 comments
  19. 6
    Nim: The good, the OK, and the hard programming xmonader.github.io
    calvin avatar via calvin 5 days ago | cached | no comments
  20. 24
    Tree-sitter programming tree-sitter.github.io
    robewald avatar via robewald 6 days ago | cached | no comments
  21. 13
    QUIC and HTTP/3 : Too big to fail? networking programming calendar.perfplanet.com
    orib avatar via orib 6 days ago | cached | 6 comments
  22. 1
    Figurative Programming and Gloom: the [G]raphical [LOOM] programming sicpers.info
    leeg avatar authored by leeg 6 days ago | cached | 1 comment
  23. 7
    "Alchemical Groups": Advent of Code using Group Theory (free groups, group homomorphisms) in Haskell haskell math programming blog.jle.im
    jle avatar authored by jle 6 days ago | cached | 6 comments
  24. 7
    Microservices and Availability programming kevinmahoney.co.uk
    kpm avatar authored by kpm 6 days ago | cached | no comments
  25. 1
    Introduction to Clojure clojure programming hypi.io
    PJ avatar via PJ 7 days ago | cached | no comments
Page 2 >>