There is a paper coming up today that is so disturbingly close to exactly what I thought I was trying to accomplish with type systems for Lipschitz continuity, except it is "program analyses" for just plain old (not specifically Lipschitz-bound-having) "continuity". But they mention wanting explicit bounds in "future work". Helloooo people I should talk to about collaborating with oh man.
There is a paper coming up today that is so disturbingly close to exactly what I thought I was trying to accomplish with type systems for Lipschitz continuity, except it is "program analyses" for just plain old (not specifically Lipschitz-bound-having) "continuity". But they mention wanting explicit bounds in "future work". Helloooo people I should talk to about collaborating with oh man.
-
(no subject)
Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…
-
(no subject)
Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…
-
(no subject)
Dinner with akiva and dannel at nuevo portal in carroll gardens. Ate a pile of chicken stew and rice and beans and maduros, good times. I do miss…
- Post a new comment
- 5 comments
- Post a new comment
- 5 comments