Input feed: composition.al

49 - 72 of 146

CSE138 returns to Twitch today!

http://composition.al/blog/2021/03/30/cse138-returns-to-twitch-today/

composition.al

!!Con 2021 starts today!

http://composition.al/blog/2021/05/15/bangbangcon-2021-starts-today/

composition.al

How to create an .srt caption file for a video

http://composition.al/blog/2021/07/14/how-to-create-an-srt-caption-file-for-a-video/

composition.al

Join us at the Programming Languages Mentoring Workshop at ICFP next month

http://composition.al/blog/2021/07/26/join-us-at-the-programming-languages-mentoring-workshop-at-icfp-next-month/

composition.al

Two papers at HATRA

http://composition.al/blog/2021/10/19/two-papers-at-hatra/

composition.al

CAREER: Building Reliable Distributed Systems with Refinement Types

http://composition.al/blog/2022/01/31/career-building-reliable-distributed-systems-with-refinement-types/

composition.al

The fine print in the ICFP 2017 call for papers

http://composition.al/blog/2017/01/31/the-fine-print-in-the-icfp-2017-call-for-papers/

composition.al 03/12/2017

Why does a Turing-complete type system make type checking undecidable?

http://composition.al/blog/2017/02/27/why-does-a-turing-complete-type-system-make-type-checking-undecidable/

composition.al 03/12/2017

Call for talk proposals: !!Con 2017

http://composition.al/blog/2017/02/28/call-for-talk-proposals-bangbangcon-2017/

composition.al 03/12/2017

Reflections on four years of research blogging

http://composition.al/blog/2017/01/30/reflections-on-four-years-of-research-blogging/

composition.al 02/03/2017

Thoughts on "Safety Verification of Deep Neural Networks"

http://composition.al/blog/2016/11/30/thoughts-on-safety-verification-of-deep-neural-networks/

composition.al 01/11/2017

My adventures with git-filter-branch

http://composition.al/blog/2016/12/30/my-adventures-with-git-filter-branch/

composition.al 01/11/2017

A simple but difficult arithmetic puzzle, and the rabbit hole it took me down

http://composition.al/blog/2016/12/31/a-simple-but-difficult-arithmetic-puzzle-and-the-rabbit-hole-it-took-me-down/

composition.al 01/11/2017

An economics analogy for why adversarial examples work

http://composition.al/blog/2016/11/17/an-economics-analogy-for-why-adversarial-examples-work/

composition.al 12/05/2016

Where does OBT research go after OBT?

http://composition.al/blog/2016/10/27/where-does-obt-research-go-after-obt/

composition.al 10/30/2016

Thoughts on "Adversarial examples in the physical world"

http://composition.al/blog/2016/09/29/thoughts-on-adversarial-examples-in-the-physical-world/

composition.al 10/26/2016

Thoughts on "An Abstraction-Refinement Approach to Verification of Artificial Neural Networks"

http://composition.al/blog/2016/09/30/thoughts-on-an-abstraction-refinement-approach-to-verification-of-artificial-neural-networks/

composition.al 10/26/2016

Call for talk proposals: OBT 2017

http://composition.al/blog/2016/10/17/call-for-talk-proposals-obt-2017/

composition.al 10/26/2016

'Experiencing computing viscerally': my PG Podcast interview about !!Con

http://composition.al/blog/2016/08/31/experiencing-computing-viscerally-my-pg-podcast-interview-about-bangbangcon/

composition.al 09/18/2016

The saga of Accumulo bug 4379

http://composition.al/blog/2016/08/30/the-saga-of-accumulo-bug-4379/

composition.al 09/07/2016

Getting into a Ph.D. program without previous research experience

http://composition.al/blog/2016/07/28/getting-into-a-phd-program-without-previous-research-experience/

composition.al 09/03/2016

Publicity chair tip: use ruby-gmail to send bulk emails via Gmail

http://composition.al/blog/2016/07/31/publicity-chair-tip-use-ruby-gmail-to-send-bulk-emails-via-gmail/

composition.al 09/03/2016

s/S/C/

http://composition.al/blog/2016/06/30/s-slash-s-slash-c-slash/

composition.al 07/14/2016

The first ten minutes of my JuliaCon talk

http://composition.al/blog/2016/06/29/the-first-ten-minutes-of-my-juliacon-talk/

composition.al 07/01/2016

49 - 72 of 146