freenode/#shirakumo - IRC Chatlog
Search
12:44:18
selwyn
i have a kind of dual attitude in that while i believe that it is important to prove stuff, one thing i don't like is having to implement an algorithm in code (unless it's a pedagogical exercise)
12:45:11
selwyn
that's when i say 'this algo has been around for years, why hasn't someone solved the problem of implementing it in the best/sanest way so i can just use it'
14:03:26
|3b|
ACTION thinks both doing proofs and implementing algos are important, if you want to be able to do more of them in the future
14:04:42
|3b|
but there usually isn't a need for a "better" proof of something, unlike implementations of algorithms, where there are lots of ways to measure "better"
14:06:56
|3b|
but also, time is limited, so it is reasonable to specialize in one or the other, or something completely different, particularly if you seem to be better at (or even just more interested in) one of them
14:20:31
Shinmera
I love the design aspects of programming -- meaning everything except the proof that it's working.
14:35:38
selwyn
people do try to construct alternative 'elementary' proofs using as few assumptions/areas as possible, it's quite popular in number theory
14:36:01
selwyn
i wouldn't say there's a 'need' for it though, it's motivated by an aesthetic sensibility
16:20:55
|3b|
right, but an ugly proof doesn't stop you from using the results to prove something else, but an implementation of an algo using too much ram might prevent it from being useful
16:22:00
|3b|
(or too much CPU, and the 2 can frequently be traded for eachother, so you can't say either "minimal ram" or "minimal CPU" implementation is always better)
17:10:56
selwyn
i respect those who design algorithms that are efficient from the pov of making best use of the cpu cache and keeping memory down and being fast
17:11:54
|3b|
yeah, optimization at that level can be a fun puzzle, just usually too far down the project stack for me to get to :/
17:14:27
|3b|
ACTION usually optimizes on the level of "hardware is getting faster, faster than i'm coding, so just work on something else and wait for better hardware" :/
17:15:15
Shinmera
latest dumbass project I'd rather not be doing: portable file change notification lib
17:19:10
Shinmera
I've given up on CI for the most part because the fighting took far too much time.
17:20:09
|3b|
most of the current fighting is due to wanting to run on as many os+lisps as possible, and lots of those combinations not actually working (or at least not easily on the CI servers) :/
17:21:02
|3b|
looking like i'm going to have to drop clisp for now... won't install on windows, doesn't have ffi on mac, doesn't build with current readline on linux, if i install it from apt, the CI never terminates :/
17:23:01
|3b|
though at least github CI servers have msys now, so i can build sbcl there if i want to test on latest versions of that
20:21:43
Colleen
github.com/Shinmera/mmap/is... Website (HTML), Title: Invalid file handle opening to write on Windows10 · Issue #7 · Shinmera/mmap · GitHub