ThreePointsShort

There are a lot of posts about issues people have run into with the GuliKit KingKong 3 Max. I have also run into a bunch of these issues myself. I figured I'd document how I resolved them so that Google could hopefully surface this thread to anyone in the future who has the same problems.

Prefacing: I actually really like m

Title. On desktop this is in the sidebar but on Sync Dev I can't seem to find it anywhere.

Device information

Sync version: v22.3.17    
Sync flavor: dev    

View type: Cards    
Push enabled: false    

Device: sunfish    
Model: Google Pixel 4a    
Android: 12

I'm not currently on the MD2 redesign, but I don't think that should be relevant to this bug. Take a look at this:

https://i.stack.imgur.com/2kbGG.gif

This image was generated for the sake of this page:

https://math.stackexchange.com/a/639079

My guess is that imgur doesn't automatically convert gifs to mp4 videos on its stack subdomain, but Sync is using a regex or similar that fails to account for that. Alternatively, it's possible that this gif to mp4 conversion generally doesn't work for still images. Either way, Sync fails to load the image.

Scenario (steps to reproduce)

1. Click on the above .gif link

2. Watch as Sync fails to load the image

3. Note now it still works on

Background: I have degrees in mathematics and computer science. Accordingly, I'm very comfortable with ZFC and first-order logic. I also know some type theory and some basic model theory (Löwenheim-Skolem, the compactness theorem, and Gödel's various famous theorems). My knowledge of most philosophy topics is next to non-existent apart from whatever little I've gleaned from various Wikipedia articles. I understand it's not really a philosophy book, but I've read Gödel, Escher, Bach by Douglas Hofstadter and found it quite enjoyable, if a bit self-indulgent at times.

I just read [this great post](https://www.reddit.com/r/AskPhilosophyFAQ/comments/4ifqi3/im_interested_in_philosophy_where_sh

I'm pretty sure this question has already been asked and answered somewhere, but for some reason Google did not turn up any results.

What is Option<i64> in Rust and Optional Int in Haskell is for some reason written as int option in F# and OCaml. This is doubly confusing to me, because it seems like the type parameters come afterward when actually declaring the type (i.e. type Option<'a>). Is there a reason for this, and if so, what is it?

Thanks!

Example:

https://www.reddit.com/r/rust/comments/9fsbfg/_/e60bzjd

You can use "select text" to see clearly that the comment itself only contains opening tags for <Record> despite the closing tag also being displayed by Sync. Very unusual.

Edit: the same thing can also be seen in this post! I never typed the closing tag above.

Device information

Sync version: 18.2    
Sync flavor: pro    

View type: Fixed height cards    
Player type: ExoPlayer    
Push enabled: false    

Device: marlin    
Model: Google Pixel XL    
Android: 9

Hey guys. I'm looking for a relatively high-end laptop as a daily driver that balances the professional and gaming ends of the spectrum without going too far in either direction. I've gone through a lot of online lists and honestly I've come out more confused than when I started - there's just too many models for me to keep track. Each OEM seems to have multiple product lines and staring at numbers is starting to drive me crazy.

• Total budget and country of purchase:
  Under $2,000, United States. Money isn't a huge concern as long as it's worth it.

• Do you prefer a 2 in 1 form factor, good battery life or best specifications for the money? Pick or include any that apply.
  Good

This is a pretty minor bug. You can see an example here. I've tested this with gifycat and v.reddit links so far.

Steps to reproduce:

1. Open up the video and pause it.

2. Context switch to another app, for example, by double-tapping the Overview button on your phone. Alternatively, you can press the home button and then re-open Sync.

3. Switch back to Sync.

Result:

The video should now start playing but the UI will still display the play button.

Device information

Sync version: 17.1    
Sync flavor: pro    

View type: Fixed height cards    
Player type: ExoPlayer    
Push enabled: false    

Devi

I'm an absolute Haskell beginner. I got into a discussion recently with a friend about the following line of code:

last $ sort mylist

Would GHC generally optimize this to an O(n) linear search in practice? As a rule of thumb, how do you go about reasoning about compiler optimizations like this?

Thanks in advance!

Edit: fixed tail to last as pointed out by a commenter.

I haven't heard much discussion about this, so I was curious. I heard that jumpsquat was universally reduced to 3 frames, and that short hop attacks are a macro. But what about empty short hops? Are those as hard to do as Melee Fox short hops or is there a trick to it? I'd be grateful if anyone who'd had a chance to play a demo could tell me.