Julian Squires

@hillelogram "Testing calcifies interfaces" — Andy Chu, 2017

All of the famous programming quotes people repeat are from the late 1900's. What are some quotes you like from the past 10-15 years?

After thirteen years, Martin's Inferno, a chiptune collaboration between myself and @retsynNL, has finally received a proper release: chipweekend.bandcamp.com/album/martins-… Please enjoy. #chiptune #vgm #newMusicRelease

Tonight: Jordi Gutiérrez Hermoso presents Blanc and Schlick's "X-splines: a spline model designed for the end-user", at @evolvingweb. meetup.com/Papers-We-Love…

The ICFP Programming Contest 2018 has started! The Lightning Division Task Description has been posted. icfpcontest2018.github.io #icfpcontest2018

Montreal paper-lovers: PWLMTL is tonight at @LightspeedHQ: meetup.com/Papers-We-Love… Edith Viau will be speaking about Arrow's impossibility theorem as it applies to scheduling meetings!

Tonight! Zhentao Li will be talking about OMeta at Papers We Love Montreal, hosted at @evolvingweb, sponsored by @0xCD03! Parsing and DSLs for everyone! meetup.com/Papers-We-Love…

What's happening? I put out an EP, that's what's happening. kylatilley.bandcamp.com #newreleases

@cdiggins Thanks! More coming soon; I feel like the flu has taken me out of commission for months, but spring is coming...

@Hillelogram Common Lisp has a sophisticated but dynamic type system; unfortunately it's rarely used except as hints to the compiler, but check out for example SATISFIES: lispworks.com/documentation/… This is a bit like a contract.

@Hillelogram I have worked places where a company decided to use, specifically Prolog and Erlang (two different companies) despite them being very unpopular, where they were exactly the right tools for the job. Projects were successful and long-lasting.

@bodil I think this is because the industry is so focused on novelty and churn; very few people study the history of computing, even though much of what we're doing is the reinvention of ideas from the 70s and 80s.

@Hillelogram I think this is deeply true; I just want to use TLA+ from emacs like everything else; I fire up that awful IDE and my heart sinks: there's no way I can convince someone else to use this.

@silentbicycle @DRMacIver This is also a great intro example because it is 99% of the time my first actual property test in a real project

@adriancolyer I hope you will also cover Rigorous Benchmarking in Reasonable Time kar.kent.ac.uk/33611/7/paper.… — cites Georges; warns of normality assumptions

Fun paper: The World's Fastest Scrabble Program cs.cmu.edu/afs/cs/academi… — later work from this includes nice connections with BDDs

Great paper: David Warren, "Logic Programming and Compiler Writing" (1980)

@486timetable @danluu I wrote this article to try to convince you (and people of similar opinion) otherwise, perhaps: cipht.net/2017/10/05/why…

@silentbicycle This instantly reminded me of "Simple Testing Can Prevent Most Critical Failures" usenix.org/system/files/c…

I'm talking about diffing trees at PWLMTL tonight: meetup.com/Papers-We-Love… Mostly how Zhang-Shasha works, but also RTED, others. Lisp code.

Papers I am reading: interesting use of kNN for tree diff db.in.tum.de/~finis/papers/… JSON CRDT arxiv.org/abs/1608.03960