After thirteen years, Martin's Inferno, a chiptune collaboration between myself and @retsynNL, has finally received a proper release: https://t.co/g1UzrliQHR
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. https://t.co/4fbOvhYbAi
Montreal paper-lovers: PWLMTL is tonight at @LightspeedHQ: https://t.co/OnIRDQhjaG
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! https://t.co/PlEgJN3Oia
@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: https://t.co/e4jTNUlKVr
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.
@adriancolyer I hope you will also cover Rigorous Benchmarking in Reasonable Time https://t.co/QStmJ62EQn — cites Georges; warns of normality assumptions