| | Building Reliable Distributed Systems with Refinement Types (composition.al) |
| 3 points by webmaven on April 1, 2022 | past |
|
| | CSE290Q: SMT Solving and Solver-Aided Systems – first day in class (composition.al) |
| 1 point by todsacerdoti on Aug 28, 2020 | past |
|
| | A simple but difficult arithmetic puzzle (composition.al) |
| 3 points by phonebucket on Oct 18, 2019 | past |
|
| | My students made zines, and so can you(rs) (composition.al) |
| 61 points by dwenzek on July 3, 2019 | past | 7 comments |
|
| | I learned about Merklix trees (without becoming a cryptocurrency enthusiast) (composition.al) |
| 2 points by telotortium on June 28, 2019 | past |
|
| | Next conference should have Real-Time captioning (composition.al) |
| 2 points by testcross on June 13, 2019 | past |
|
| | Time is Partial: distributed consistency models and weak memory models (composition.al) |
| 59 points by matt_d on Nov 18, 2018 | past | 3 comments |
|
| | CMPS290S Fall 2018: Languages and Abstractions for Distributed Programming (composition.al) |
| 3 points by lacey on Oct 30, 2018 | past |
|
| | What isn't a high-performance DSL? (composition.al) |
| 2 points by mpweiher on Feb 4, 2018 | past |
|
| | The power of blogging with plain old versioned text (composition.al) |
| 3 points by ingve on Dec 29, 2017 | past |
|
| | Upsides and downsides of “women in” lists (composition.al) |
| 1 point by peruvian on Sept 13, 2017 | past |
|
| | What do people mean when they say “transpiler”? (composition.al) |
| 77 points by tosh on Sept 2, 2017 | past | 74 comments |
|
| | My first fifteen compilers (composition.al) |
| 387 points by dhanush on Sept 2, 2017 | past | 76 comments |
|
| | Say “experts” instead of “smart people” (2015) (composition.al) |
| 2 points by sridca on Aug 13, 2017 | past | 1 comment |
|
| | Proving that safety-critical neural networks do what they're supposed to (composition.al) |
| 2 points by scribu on May 31, 2017 | past |
|
| | Say “experts” instead of “smart people” (2015) (composition.al) |
| 2 points by stared on May 16, 2017 | past |
|
| | Why does a Turing-complete type system make type checking undecidable? (composition.al) |
| 69 points by luu on March 2, 2017 | past | 22 comments |
|
| | Reflections on four years of research blogging (composition.al) |
| 1 point by luu on Feb 6, 2017 | past |
|
| | An economics analogy for why adversarial examples work (composition.al) |
| 2 points by dsr12 on Jan 12, 2017 | past |
|
| | Do “all Java type checkers have bugs”? (composition.al) |
| 3 points by noahlt on May 31, 2016 | past |
|
| | Yet another blog post about how parallelism is not concurrency (composition.al) |
| 38 points by dbaupp on Jan 20, 2016 | past | 7 comments |
|
| | Refactoring as a way to understand code (composition.al) |
| 2 points by luu on Dec 30, 2015 | past |
|
| | How to learn to do determinism proofs (composition.al) |
| 2 points by luu on Aug 1, 2015 | past |
|
| | What's the difference between LVars and CRDTs? (composition.al) |
| 2 points by luu on May 30, 2015 | past |
|
| | Say “experts” instead of “smart people” (composition.al) |
| 1 point by mrry on May 2, 2015 | past |
|
| | BangBangCon 2015 (composition.al) |
| 1 point by luu on March 30, 2015 | past |
|
| | Browser extensions are kernel modules for browsers (composition.al) |
| 34 points by luu on March 13, 2015 | past | 12 comments |
|
| | Browser extensions are kernel modules for browsers (composition.al) |
| 2 points by luu on March 12, 2015 | past |
|
| | Browser extensions are kernel modules for browsers (composition.al) |
| 2 points by eliteraspberrie on Feb 28, 2015 | past |
|
| | To OpenCL from JavaScript via js-ctypes (composition.al) |
| 1 point by dbaupp on Feb 25, 2015 | past |
|
|
| More |
