|
Robin Houston
@
robinhouston
London
|
|
Cofounder of @f_l_o_u_r_i_s_h. Also maths. Blogging sometimes at bosker.wordpress.com. My name is an anagram of “No enthusiasm or job”.
|
|
|
14.113
Tweetovi
|
1.726
Pratim
|
4.502
Osobe koje vas prate
|
| Tweetovi |
|
Robin Houston
@robinhouston
|
11 h |
|
Also it only counts as two characters according to Twitter’s character-counting algorithm, so you can use it to squeeze extra characters into your 🆒 tweets.
|
||
|
|
||
|
Robin Houston
@robinhouston
|
11 h |
|
It is 🆒er though
|
||
|
|
||
|
Robin Houston
@robinhouston
|
4. velj |
|
What set theory are you using? The axiom of foundation limits one to finite-depth nesting. AFA allows cycles in the nesting, but not arbitrary ordinal depths AFAIK.
|
||
|
|
||
|
Robin Houston
@robinhouston
|
2. velj |
|
One of those apt juxtapositions that Twitter occasionally throws up. pic.twitter.com/1g9z64wl0d
|
||
|
|
||
|
Robin Houston
@robinhouston
|
1. velj |
|
Not exactly a plot twist, but Ian McEwan’s latest features Alan Turing living to prove P = NP.
I’m not sure the author entirely grasped the radical implications of an alternate universe in which P = NP!
|
||
|
|
||
|
Robin Houston
@robinhouston
|
31. sij |
|
I don’t really understand what you’re saying, but it reminds me of Chaitin’s Ω – a real number that encodes the solution to the halting problem.
|
||
|
|
||
|
Robin Houston
@robinhouston
|
31. sij |
|
It’s all true, but I love the clock anyway.
|
||
|
|
||
|
Robin Houston
@robinhouston
|
31. sij |
|
True true – and yet…
|
||
|
|
||
|
Robin Houston
@robinhouston
|
31. sij |
|
I don’t agree – I think the 10,000 year clock is a better use of time than most of the things people do – but this article is well-written and thought-provoking.
wired.com/story/the-1000…
|
||
|
|
||
| Robin Houston proslijedio/la je tweet | ||
|
Jez
@jezzamonn
|
30. sij |
|
|
||
|
|
||
|
Robin Houston
@robinhouston
|
30. sij |
|
Yes! Famous examples include LZW (used in the GIF image format) and RSA. Also the OCB encryption mode.
en.wikipedia.org/wiki/GIF#Unisy…
en.wikipedia.org/wiki/RSA_(cryp…
en.wikipedia.org/wiki/OCB_mode#…
Here’s a list of patents required by MPEG-2 (all now expired in the US): mpegla.com/wp-content/upl…
|
||
|
|
||
| Robin Houston proslijedio/la je tweet | ||
|
Greg Egan
@gregeganSF
|
30. sij |
|
[1/2] Now that the ingenious @ChocoLinkage has posted linkages that compute both squares and cubes, I thought it would be fun to reverse-engineer the squaring one.
If you want to work through this in detail yourself, note that all lengths are multiples of 1/16.
The magic here… pic.twitter.com/K9xVNUuWSC
|
||
|
|
||
|
Robin Houston
@robinhouston
|
30. sij |
|
My (limited and possibly entirely wrong) impression is that different courts in the US have different attitudes, and that a patent like this might not stand up if it could be escalated to a high enough court. But in practice it would be prohibitively expensive to do that.
|
||
|
|
||
|
Robin Houston
@robinhouston
|
30. sij |
|
Ask the US patent office. 😠
|
||
|
|
||
|
Robin Houston
@robinhouston
|
30. sij |
|
I just found out that there’s a clever, fairly new algorithm for multiplying matrices by Karstadt and Schwartz that looks like it might be faster in practical situations. cse.huji.ac.il/~elayeek/matmu…
Sadly it looks as though they have patented it. patentscope.wipo.int/search/en/deta…
|
||
|
|
||
|
Robin Houston
@robinhouston
|
29. sij |
|
Yes and no, in that order. Which is odd, considering my generally childish sense of humour.
|
||
|
|
||
| Robin Houston proslijedio/la je tweet | ||
|
BBC Archive
@BBCArchive
|
25. sij |
|
#OnThisDay 1961: Alan Whicker got lost in Northumberland. pic.twitter.com/7mT1ybmejx
|
||
|
|
||
|
Robin Houston
@robinhouston
|
27. sij |
|
Do you happen to know what you get in general by slicing the n-cube symmetrically orthogonally to the long diagonal? For n = 1, 2, 3, 4 we have: point, line segment, regular hexagon, regular octahedron.
Does this sequence have a name?
|
||
|
|
||
|
Robin Houston
@robinhouston
|
27. sij |
|
It’s such a waste, because all these “well known” results will be lost within a generation of no one is allowed to write them down. 😟
|
||
|
|
||
|
Robin Houston
@robinhouston
|
27. sij |
|
That happened to a student I shared an office with. He had a paper rejected on the grounds that his results were well-known, albeit not explicitly in the literature.
I get the impression category theory is worse than many other fields in that respect.
|
||
|
|
||