@pozorvlak @cartazio there's @edwinbrady 's thesis and Hongwei Xi's ATS work. Don't know of anything on numerical code though.
-
-
Replying to @bentnib
@bentnib@edwinbrady@cartazio a DT wrapper around LAPACK would probably do for a lot of scientific work - cf NumPy.3 replies 0 retweets 0 likes -
Replying to @pozorvlak
@pozorvlak@edwinbrady@cartazio I'm fascinated by the idea of using types to learn more about numerical code: http://bentnib.org/conservation-laws.html …3 replies 0 retweets 3 likes -
Replying to @bentnib
@bentnib@pozorvlak@edwinbrady@cartazio ...eg to guarantee discretisation gives PDE in limit. Solvers fiddly to write. Should be automated2 replies 0 retweets 0 likes -
Replying to @sigfpe
@sigfpe@bentnib@edwinbrady@cartazio ...esp if m and n aren't known at compile-time, but can be proved (un)equal to an array's dimensions.3 replies 0 retweets 0 likes -
Replying to @pozorvlak
@sigfpe@bentnib@edwinbrady@cartazio eg load data from a file and filter out missing values; indices before filtering != indices after.2 replies 0 retweets 0 likes -
Replying to @pozorvlak
@pozorvlak I'm only half paying attention here, but I suggest you come to St Andrews and we gossip about this some time :)2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@pozorvlak@aaroncrane jan Edinburgh.pm in St. Andrews?1 reply 0 retweets 0 likes -
Replying to @mintywalker
@mintywalker@edwinbrady@aaroncrane I'll probably have folks visiting on Thur 23rd, and will be away on Thur 30th :(1 reply 0 retweets 0 likes -
Replying to @pozorvlak
@pozorvlak@edwinbrady@aaroncrane fwiw I would be up for an ad hoc off schedule trip just for lulz etc2 replies 0 retweets 0 likes
@mintywalker @pozorvlak @aaroncrane I think I'm away most of January too, but you should all come some time anyway!
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.