Stories tagged as compsci – Other computer science/programming
  1. 13
    Foundations and Trends in Programming Languages: Program Synthesis ☶ pdf compsci formalmethods programming microsoft.com
    nickpsecurity avatar via nickpsecurity 18 hours ago | cached | no comments
  2. 5
    Rate-distortion optimization compsci fgiesen.wordpress.com
    mikejsavage avatar via mikejsavage 19 hours ago | cached | no comments
  3. 1
    Old Neglected Theorems Are Still Theorems compsci existentialtype.wordpress.com
    calvin avatar via calvin 29 hours ago | cached | no comments
  4. 25
    Thoughts for a new minimal markup language ☶ ask show compsci plt
    HenriTuhola avatar authored by HenriTuhola 3 days ago | 15 comments
  5. 6
    Active Text for Structuring and Understanding Source Code (1996) ☶ pdf compsci historical programming visualization pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  6. 15
    The Swiss Army Knife of Hashmaps compsci blog.waffles.space
    calvin avatar via calvin 3 days ago | cached | no comments
  7. 2
    Uncertainty propagation in data processing systems compsci blog.acolyer.org
    nisanharamati avatar via nisanharamati 6 days ago | cached | no comments
  8. 1
    Formally Verified On-Line Diagnosis (1999) ☶ pdf compsci distributed researchgate.net
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  9. 2
    CS631 - Advanced Programming in the UNIX Environment pdf compsci unix stevens.netmeister.org
    sevan avatar via sevan 8 days ago | cached | no comments
  10. 1
    How to Grow Neat Software Architecture out of Jupyter Notebooks ☶ compsci practices python scaling github.com
    GChevalier avatar authored by GChevalier 8 days ago | cached | no comments
  11. 23
    Functional programming bibliography? ☶ ask compsci
    danburzo avatar authored by danburzo 8 days ago | 12 comments
  12. 1
    A Highly Productive Implementation of an Out-of-Order Processor Generator pdf compsci performance eecs.berkeley.edu
    fcbsd avatar via fcbsd 9 days ago | cached | no comments
  13. 3
    Reducing the delta with upstream version of sanitizers compilers compsci netbsd security blog.netbsd.org
    sevan avatar via sevan 9 days ago | cached | no comments
  14. 3
    The Arcane Algorithm Archive compsci programming algorithm-archive.org
    Yogthos avatar via Yogthos 10 days ago | cached | no comments
  15. 9
    NP-hard does not mean hard compsci jeremykun.com
    calvin avatar via calvin 10 days ago | cached | 3 comments
  16. 26
    Common Mistakes about Generational Garbage Collection compsci orbifold.xyz
    moshez avatar authored by moshez 12 days ago | cached | 9 comments
  17. 17
    From Nand to Tetris: Building a Modern Computer from First Principles compsci hardware nand2tetris.org
    craftyguy avatar via craftyguy 18 days ago | cached | 9 comments
  18. 15
    Let's reinvent FRP (2017) compsci javascript vindum.io
    pushcx avatar via pushcx 18 days ago | cached | 1 comment
  19. 80
    Every 7.8μs your computer’s memory has a hiccup assembly c compsci hardware blog.cloudflare.com
    majke avatar authored by majke 18 days ago | cached | 14 comments
  20. 10
    How physical addresses map to rows and banks in DRAM (2015) assembly compsci hardware programming lackingrhoticity.blogspot.com
    majke avatar via majke 19 days ago | cached | no comments
  21. 7
    Two Approaches to Structured Concurrency compsci distributed 250bpm.com
    GrayGnome avatar via GrayGnome 19 days ago | cached | no comments
  22. 2
    Virtual Reality [2016] ☶ compsci graphics vr.cs.uiuc.edu
    crazyloglad avatar via crazyloglad 21 days ago | cached | no comments
  23. 9
    Computing History at Bell Labs compsci historical unix research.swtch.com
    sevan avatar via sevan 22 days ago | cached | no comments
  24. 3
    HICAMP: Architectural Support for Efficient Concurrency-safe Shared Structured Data Access ☶ pdf compsci hardware cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 25 days ago | cached | no comments
  25. 17
    Cliff Click is writing a new language: AA compsci github.com
    ianopolous avatar via ianopolous 25 days ago | cached | 1 comment
Page 2 >>