|
Mistral Contrastin
@
madgen_
Cambridge, UK
|
|
I like maths, philosophy, modern art, jazz, running, functional and logic programming. I implement Datalogs for a living at @Cambridge_Uni. he/him
|
|
|
5.681
Tweetovi
|
624
Pratim
|
469
Osobe koje vas prate
|
| Tweetovi |
|
|
Mistral Contrastin
@madgen_
|
3. velj |
|
Yes, I did feel dirty when I wrote the base case for transpose.
|
||
|
||
|
|
Mistral Contrastin
@madgen_
|
3. velj |
|
Thanks. I completely understand now. Is the code online yet?
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
3. velj |
|
I don’t understand. Can you please explain?
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
3. velj |
|
Incidentally, I wrote a baby fancy type for matrix multiplication yesterday. pic.twitter.com/vdiTZkfldV
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
3. velj |
|
I think @dorchard might have wrote some of it.
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
1. velj |
|
Considering most of the global financial system relies on Excel, I wish more CS people spent time on improving it.
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
1. velj |
|
This is so good! More concretely, they use an SMT solver to find that a pretty typical family with kids might lose €60 per month as a result of getting a raise of €40 per month. twitter.com/_protz_/status…
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
30. sij |
|
Type checking, type inference, and program synthesis. If you do one, you get the others for free.
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
26. sij |
|
Wow, you are lucky not to live in Istanbul where stray cats and dogs are not only galore, but also it's a big no no to disturb them in cafes, public spaces, etc. Not so many dogs in offices though.
|
||
|
|
||
| Mistral Contrastin proslijedio/la je tweet | ||
|
Mouse Reeve
@tripofmice
|
20. sij |
|
wish it was pic.twitter.com/sJvP2WU3z1
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
20. sij |
|
{a00,a01,a02,…}
{a10,a11,a12,…}
{a20,a21,a22,…}
…
aIJ = aKL iff I = L and J = K
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
17. sij |
|
That's cool. How did you do that?
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
17. sij |
|
I just hope that it won’t end for the next year and then I can edit it and turn it into a book. I think it would be extremely instructive.
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
17. sij |
|
For those who might have missed it, there is a very entertaining thread under this tweet between @Rey_Skywalker8 and @wtgowers that has been going on since November 25th. twitter.com/johncarlosbaez…
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
14. sij |
|
Read program’s own .text section, disassemble it, modify it and hot patch the same process (as well as the binary on disk) while it runs. All without libc.
|
||
|
|
||
| Mistral Contrastin proslijedio/la je tweet | ||
|
Greg Egan
@gregeganSF
|
13. sij |
|
Next time someone asks you to name a computable irrational number that has been proved *not* to be normal in any base (i.e. does *not* contain every finite sequence of digits with equal density) you can turn to this beautiful example from Greg Martin:
arxiv.org/abs/math/00060… pic.twitter.com/1iL9fpFadm
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
13. sij |
|
I really like eating meat but I don’t eat it due to ethical reasons. So yeah I do miss it.
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
12. sij |
|
Twitter da oyle olsa keske :/
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
12. sij |
|
Oh, oh I see. Yes, cleaning data is tough. I got some great advice on it from data mining books back in the day.
|
||
|
|
||
|
|
Mistral Contrastin
@madgen_
|
12. sij |
|
What’s the problem there?
|
||
|
|
||