About
Hubs

Home Gudgeon and gist composition.al

Input feed: composition.al

Items
Tags
Filters
Updates

Sort by: Date tagged Date published

1
2
3
4
5
6

51 - 75 of 146

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
Do 'all Java type checkers have bugs'?

http://composition.al/blog/2016/05/30/do-all-java-type-checkers-have-bugs/

composition.al 06/04/2016
Call for talk proposals: DSLDI 2016

http://composition.al/blog/2016/05/18/call-for-talk-proposals-dsldi-2016/

composition.al 05/20/2016
What even is OpenStack?

http://composition.al/blog/2016/04/30/what-even-is-openstack/

composition.al 05/14/2016

1
2
3
4
5
6

51 - 75 of 146