Submissions from composition.al

		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

HN For You