freenode/#shirakumo - IRC Chatlog
Search
11:36:22
Shinmera
There's always the problem with invariants when you have state, because the invariants by nature need to be violated for a while until the state change operation is complete
11:36:42
Shinmera
And if there's multiple parts that can change the same kinda state but all still try to uphold the invariants you get really bad back and forth interactions.
11:37:34
Shinmera
Eg in Alloy you can access the currently focused element in the tree, and that element must always have its focus be strong
11:37:49
Shinmera
So you can change that element by setting the focused element on the tree, or changing its focus to be strong.
11:38:21
Shinmera
That by itself can be avoided with a circularity check, but there's much nastier invariants on the tree that bubble both upwards and downwards throughout the tree, and then it gets messy.
11:38:48
selwyn
in $dayjob, i am dealing with some numerics that are only ~99% accurate when they should be 100% accurate
11:39:56
selwyn
there could either be a) a bug in the code b) some flaw in the physics reasoning behind the code c) no problem, it's just numerical error which is somewhat larger than anticipated
11:40:16
selwyn
so i don't really know if i have a bug at all. but have been hunting all week nevertheless lol
11:40:31
Shinmera
You can write entire theses about how to rewrite an algorithm to be more numerically stable :)
11:44:21
selwyn
though i wasn't able to find out much about the scalability of ode solvers to larger system sizes
11:44:53
selwyn
i do find the literature on numerical analysis somewhat interesting, i enjoyed it at undergrad
11:45:45
selwyn
while some of the results are interesting, i didn't find it as exciting as other areas of maths
11:49:59
selwyn
well, i think that increasing the floating point precision and observing the effect on the numerics might shed some light
11:54:28
Shinmera
since you'd have to make sure you use those types everywhere and every operation actually returns that type, too, and doesn't accidentally or otherwise convert things.
12:19:14
no-defun-allowed
I heard CLISP is faster with bignums cause it uses GMP out of the box. But y'all probably don't use many bignums.
13:22:01
selwyn
the one i did last year got a great reaction, but i don't have anything substantially different from that which would still be interesting
14:31:39
Shinmera
Time to record some footage (ugh) and then for video editing 2: the return of premiere
15:03:05
Shinmera
It's not a severe bug but for some reason some elements retain their weak focus even when they shouldn't.
15:23:23
Shinmera
I think because my tests don't cover the case of directly specifying weak focus on an element.
15:42:29
Shinmera
hm. actually not sure how to distinguish that case from the case where a parent element gets its weak focus set as part of the focus branch
19:22:10
SAL9000
Shinmera: youtube works, but we have a psitransfer instance as well (and I should be getting a @common-lisp.net email too, in theory)
19:23:27
SAL9000
email is for telling me that you uploaded a lightning talk -- for those who might not want to poke me on irc
19:35:18
Shinmera
I presume there won't be many lightning talks so me taking three slots won't be an issue
19:37:52
SAL9000
Should be OK. We have plenty of slots and can go into overtime on the first day if needed.